Skip to content

Actions: agda/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
537 workflow runs
537 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make _⟨⟩ the constructor of ∃ so it can be used in patterns CI #848: Commit 306d2ea pushed by jespercockx
26m 24s master
master
26m 24s
Make _⟨⟩ the constructor of ∃ so it can be used in patterns Docs #198: Commit 306d2ea pushed by jespercockx
25s master
master
25s
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
pages build and deployment pages-build-deployment #147: by github-pages bot
31s gh-pages
gh-pages
31s
pages build and deployment pages-build-deployment #146: by github-pages bot
22s gh-pages
gh-pages
22s
Install fix-whitespace on CI CI #847: Commit 13db471 pushed by jespercockx
25m 53s master
master
25m 53s
Install fix-whitespace on CI Nix CI #254: Commit 13db471 pushed by jespercockx
2m 7s master
master
2m 7s
Install fix-whitespace on CI Docs #197: Commit 13db471 pushed by jespercockx
27s master
master
27s
fix-whitespace fixes CI #846: Pull request #435 synchronize by liesnikov
31m 33s liesnikov:master
liesnikov:master
31m 33s
fix-whitespace fixes Nix CI #253: Pull request #435 synchronize by liesnikov
1m 27s liesnikov:master
liesnikov:master
1m 27s
fix-whitespace fixes CI #845: Pull request #435 synchronize by liesnikov
30m 35s liesnikov:master
liesnikov:master
30m 35s
fix-whitespace fixes Nix CI #252: Pull request #435 synchronize by liesnikov
1m 24s liesnikov:master
liesnikov:master
1m 24s
fix-whitespace fixes CI #844: Pull request #435 synchronize by liesnikov
33m 22s liesnikov:master
liesnikov:master
33m 22s
fix-whitespace fixes Nix CI #251: Pull request #435 synchronize by liesnikov
1m 25s liesnikov:master
liesnikov:master
1m 25s
fix-whitespace fixes CI #843: Pull request #435 synchronize by liesnikov
1m 59s liesnikov:master
liesnikov:master
1m 59s
fix-whitespace fixes Nix CI #250: Pull request #435 synchronize by liesnikov
2m 22s liesnikov:master
liesnikov:master
2m 22s
pages build and deployment pages-build-deployment #145: by github-pages bot
24s gh-pages
gh-pages
24s
Remove broken attempt at running fix-whitespace in CI CI #842: Commit d23ef56 pushed by jespercockx
25m 21s master
master
25m 21s
Remove broken attempt at running fix-whitespace in CI Nix CI #249: Commit d23ef56 pushed by jespercockx
1m 26s master
master
1m 26s
Remove broken attempt at running fix-whitespace in CI Docs #196: Commit d23ef56 pushed by jespercockx
32s master
master
32s
Inline anything Nix CI #248: Pull request #431 opened by jespercockx
1m 34s jespercockx:inline-anything
jespercockx:inline-anything
1m 34s
Inline anything CI #841: Pull request #431 opened by jespercockx
22m 29s jespercockx:inline-anything
jespercockx:inline-anything
22m 29s
[ #155 ] Add COMPILE ... to pragmas for data types and functions CI #840: Pull request #430 synchronize by jespercockx
3m 52s jespercockx:compile-as
jespercockx:compile-as
3m 52s
[ #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 CI #839: Commit 7e12a12 pushed by jespercockx
23m 11s master
master
23m 11s