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 #94: by github-pages bot
September 24, 2024 08:07 33s
September 24, 2024 08:07 33s
pages build and deployment pages-build-deployment #93: by github-pages bot
September 24, 2024 08:06 23s
September 24, 2024 08:06 23s
pages build and deployment pages-build-deployment #92: by github-pages bot
September 24, 2024 07:53 28s
September 24, 2024 07:53 28s
Lower version bound of aeson to 2.0.3 Docs #150: Commit 293306e pushed by jespercockx
September 24, 2024 07:53 37s master
master
September 24, 2024 07:53 37s
Lower version bound of aeson to 2.0.3 Nix CI #101: Commit 293306e pushed by jespercockx
September 24, 2024 07:53 1m 43s master
master
September 24, 2024 07:53 1m 43s
Lower version bound of aeson to 2.0.3 CI #696: Commit 293306e pushed by jespercockx
September 24, 2024 07:53 22m 1s master
master
September 24, 2024 07:53 22m 1s
Update version bounds in agda2hs.cabal CI #695: Pull request #367 opened by jespercockx
September 23, 2024 15:37 6m 2s jespercockx:version-bounds
jespercockx:version-bounds
September 23, 2024 15:37 6m 2s
Update version bounds in agda2hs.cabal Nix CI #100: Pull request #367 opened by jespercockx
September 23, 2024 15:37 1m 52s jespercockx:version-bounds
jespercockx:version-bounds
September 23, 2024 15:37 1m 52s
pages build and deployment pages-build-deployment #91: by github-pages bot
September 23, 2024 08:44 28s
September 23, 2024 08:44 28s
pages build and deployment pages-build-deployment #90: by github-pages bot
September 23, 2024 08:44 21s
September 23, 2024 08:44 21s
pages build and deployment pages-build-deployment #89: by github-pages bot
September 23, 2024 08:41 27s
September 23, 2024 08:41 27s
pages build and deployment pages-build-deployment #88: by github-pages bot
September 23, 2024 08:40 28s
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
September 20, 2024 13:23 36s
pages build and deployment pages-build-deployment #86: by github-pages bot
September 20, 2024 13:22 20s
September 20, 2024 13:22 20s
pages build and deployment pages-build-deployment #85: by github-pages bot
September 20, 2024 13:18 25s
September 20, 2024 13:18 25s