Skip to content

Actions: agda/agda2hs

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
196 workflow runs
196 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix #306 ] Correctly error on dot patterns corresponding to module arguments Nix CI #264: Pull request #439 synchronize by NathanielB123
Action required NathanielB123:module-param-dot
NathanielB123:module-param-dot
Action required
[ fix #306 ] Correctly error on dot patterns corresponding to module arguments Nix CI #263: Pull request #439 opened by NathanielB123
Action required NathanielB123:module-param-dot
NathanielB123:module-param-dot
Action required
Inline anything (#431) Nix CI #262: Commit 980c6f6 pushed by jespercockx
2m 18s master
master
2m 18s
Inline anything Nix CI #261: Pull request #431 synchronize by jespercockx
1m 25s jespercockx:inline-anything
jespercockx:inline-anything
1m 25s
Inline anything Nix CI #260: Pull request #431 synchronize by jespercockx
1m 40s jespercockx:inline-anything
jespercockx:inline-anything
1m 40s
Inline anything Nix CI #259: Pull request #431 synchronize by jespercockx
1m 27s jespercockx:inline-anything
jespercockx:inline-anything
1m 27s
[ re #155 ] Minor simplifications following suggestions by @omelkonian Nix CI #258: Commit 41a090d pushed by jespercockx
1m 26s master
master
1m 26s
[ #155 ] Add COMPILE ... to pragmas for data types and functions Nix CI #257: Pull request #430 synchronize by jespercockx
1m 26s jespercockx:compile-as
jespercockx:compile-as
1m 26s
[ #436 ] Disable test suite HTML generation for now Nix CI #256: Commit 392c12a pushed by jespercockx
1m 28s master
master
1m 28s
Make _⟨⟩ the constructor of ∃ so it can be used in patterns Nix CI #255: Commit 306d2ea pushed by jespercockx
1m 25s master
master
1m 25s
Install fix-whitespace on CI Nix CI #254: Commit 13db471 pushed by jespercockx
2m 7s master
master
2m 7s
fix-whitespace fixes Nix CI #253: Pull request #435 synchronize by liesnikov
1m 27s liesnikov:master
liesnikov:master
1m 27s
fix-whitespace fixes Nix CI #252: Pull request #435 synchronize by liesnikov
1m 24s liesnikov:master
liesnikov:master
1m 24s
fix-whitespace fixes Nix CI #251: Pull request #435 synchronize by liesnikov
1m 25s liesnikov:master
liesnikov:master
1m 25s
fix-whitespace fixes Nix CI #250: Pull request #435 synchronize by liesnikov
2m 22s liesnikov:master
liesnikov:master
2m 22s
Remove broken attempt at running fix-whitespace in CI Nix CI #249: Commit d23ef56 pushed by jespercockx
1m 26s master
master
1m 26s
Inline anything Nix CI #248: Pull request #431 opened by jespercockx
1m 34s jespercockx:inline-anything
jespercockx:inline-anything
1m 34s
[ #155 ] Add COMPILE ... to pragmas for data types and functions Nix CI #247: Pull request #430 synchronize by jespercockx
1m 35s jespercockx:compile-as
jespercockx:compile-as
1m 35s
Remove fix-whitespace step from the Makefile for now Nix CI #246: Commit 7e12a12 pushed by jespercockx
1m 27s master
master
1m 27s
[ #155 ] Add COMPILE ... to pragmas for data types and functions Nix CI #245: Pull request #430 synchronize by jespercockx
1m 30s jespercockx:compile-as
jespercockx:compile-as
1m 30s
Fix running of fix-whitespace on CI (hopefully) Nix CI #244: Commit 23c7e37 pushed by jespercockx
1m 34s master
master
1m 34s
Copy infrastructure for whitespace violations from agda repo Nix CI #243: Commit 3a73b82 pushed by jespercockx
2m 15s master
master
2m 15s
[ #155 ] Add COMPILE ... to pragmas for data types and functions Nix CI #242: Pull request #430 synchronize by jespercockx
1m 25s jespercockx:compile-as
jespercockx:compile-as
1m 25s
[ #155 ] Add COMPILE ... to pragmas for data types and functions Nix CI #241: Pull request #430 opened by jespercockx
2m 7s jespercockx:compile-as
jespercockx:compile-as
2m 7s
Update dependency to agda2hs-base in tutorial examples Nix CI #240: Pull request #429 opened by wrvsrx
2m 9s wrvsrx:update-example-dependencies
wrvsrx:update-example-dependencies
2m 9s