Skip to content

Actions: agda/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
665 workflow runs
665 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #90: by github-pages bot
September 23, 2024 08:44 21s gh-pages
gh-pages
September 23, 2024 08:44 21s
pages build and deployment pages-build-deployment #89: by github-pages bot
September 23, 2024 08:41 27s gh-pages
gh-pages
September 23, 2024 08:41 27s
pages build and deployment pages-build-deployment #88: by github-pages bot
September 23, 2024 08:40 28s gh-pages
gh-pages
September 23, 2024 08:40 28s
Add test case for #351 (crash on parse failure for deriving clause) Docs #149: Commit f636b3d pushed by jespercockx
September 23, 2024 08:34 6m 18s master
master
September 23, 2024 08:34 6m 18s
Add test case for #351 (crash on parse failure for deriving clause) CI #694: Commit f636b3d pushed by jespercockx
September 23, 2024 08:34 9m 32s master
master
September 23, 2024 08:34 9m 32s
Add test case for #351 (crash on parse failure for deriving clause) Nix CI #99: Commit f636b3d pushed by jespercockx
September 23, 2024 08:34 4m 25s master
master
September 23, 2024 08:34 4m 25s
Add test case for RankNTypes #352 Docs #148: Commit f5596af pushed by jespercockx
September 23, 2024 08:33 1m 36s master
master
September 23, 2024 08:33 1m 36s
Add test case for RankNTypes #352 CI #693: Commit f5596af pushed by jespercockx
September 23, 2024 08:33 9m 30s master
master
September 23, 2024 08:33 9m 30s
Add test case for RankNTypes #352 Nix CI #98: Commit f5596af pushed by jespercockx
September 23, 2024 08:33 1m 50s master
master
September 23, 2024 08:33 1m 50s
Don't crash on parse errors in deriving clauses Nix CI #97: Pull request #365 opened by anka-213
September 22, 2024 20:11 1m 51s anka-213:anka-213/issue351
anka-213:anka-213/issue351
September 22, 2024 20:11 1m 51s
Don't crash on parse errors in deriving clauses CI #692: Pull request #365 opened by anka-213
September 22, 2024 20:11 5m 50s anka-213:anka-213/issue351
anka-213:anka-213/issue351
September 22, 2024 20:11 5m 50s
Support generating RankN haskell types. Fixes #352 Nix CI #96: Pull request #364 opened by anka-213
September 20, 2024 14:04 1m 48s anka-213:anka-213/issue352
anka-213:anka-213/issue352
September 20, 2024 14:04 1m 48s
Support generating RankN haskell types. Fixes #352 CI #691: Pull request #364 opened by anka-213
September 20, 2024 14:04 3m 22s anka-213:anka-213/issue352
anka-213:anka-213/issue352
September 20, 2024 14:04 3m 22s
pages build and deployment pages-build-deployment #87: by github-pages bot
September 20, 2024 13:23 36s gh-pages
gh-pages
September 20, 2024 13:23 36s
pages build and deployment pages-build-deployment #86: by github-pages bot
September 20, 2024 13:22 20s gh-pages
gh-pages
September 20, 2024 13:22 20s
pages build and deployment pages-build-deployment #85: by github-pages bot
September 20, 2024 13:18 25s gh-pages
gh-pages
September 20, 2024 13:18 25s
Simplify check for when to drop arguments Nix CI #95: Commit 22f37f5 pushed by jespercockx
September 20, 2024 13:18 1m 44s master
master
September 20, 2024 13:18 1m 44s
Simplify check for when to drop arguments CI #690: Commit 22f37f5 pushed by jespercockx
September 20, 2024 13:18 7m 27s master
master
September 20, 2024 13:18 7m 27s
Simplify check for when to drop arguments Docs #147: Commit 22f37f5 pushed by jespercockx
September 20, 2024 13:18 40s master
master
September 20, 2024 13:18 40s
pages build and deployment pages-build-deployment #84: by github-pages bot
September 20, 2024 12:35 29s gh-pages
gh-pages
September 20, 2024 12:35 29s
pages build and deployment pages-build-deployment #83: by github-pages bot
September 20, 2024 12:34 21s gh-pages
gh-pages
September 20, 2024 12:34 21s
pages build and deployment pages-build-deployment #82: by github-pages bot
September 20, 2024 12:21 25s gh-pages
gh-pages
September 20, 2024 12:21 25s
Generalize lemmas about if Nix CI #94: Commit be3c6d2 pushed by jespercockx
September 20, 2024 12:21 2m 7s master
master
September 20, 2024 12:21 2m 7s
Generalize lemmas about if Docs #146: Commit be3c6d2 pushed by jespercockx
September 20, 2024 12:21 41s master
master
September 20, 2024 12:21 41s
Generalize lemmas about if CI #689: Commit be3c6d2 pushed by jespercockx
September 20, 2024 12:21 30m 1s master
master
September 20, 2024 12:21 30m 1s