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

bring back the previous formatting and reference the original file Docs #161: Commit 268a137 pushed by jespercockx
December 18, 2024 17:17 32s master
master
December 18, 2024 17:17 32s
Make the nix development compatible with flake-less nix CI #722: Pull request #382 synchronize by liesnikov
December 18, 2024 17:11 5m 32s liesnikov:master
liesnikov:master
December 18, 2024 17:11 5m 32s
Make the nix development compatible with flake-less nix Nix CI #127: Pull request #382 synchronize by liesnikov
December 18, 2024 17:11 1m 52s liesnikov:master
liesnikov:master
December 18, 2024 17:11 1m 52s
Make the nix development compatible with flake-less nix Nix CI #126: Pull request #382 opened by liesnikov
December 18, 2024 13:29 1m 46s liesnikov:master
liesnikov:master
December 18, 2024 13:29 1m 46s
Make the nix development compatible with flake-less nix CI #721: Pull request #382 opened by liesnikov
December 18, 2024 13:29 5m 57s liesnikov:master
liesnikov:master
December 18, 2024 13:29 5m 57s
[ fix #324 ] Keep track of instance-only imports CI #720: Commit 84c0c36 pushed by jespercockx
December 17, 2024 12:41 21m 30s master
master
December 17, 2024 12:41 21m 30s
[ fix #324 ] Keep track of instance-only imports Docs #160: Commit 84c0c36 pushed by jespercockx
December 17, 2024 12:41 34s master
master
December 17, 2024 12:41 34s
[ fix #324 ] Keep track of instance-only imports Nix CI #125: Commit 84c0c36 pushed by jespercockx
December 17, 2024 12:41 2m 7s master
master
December 17, 2024 12:41 2m 7s
Fix #324: Keep track of instance-only imports CI #719: Pull request #380 opened by jespercockx
December 13, 2024 14:32 21m 50s jespercockx:Issue324
jespercockx:Issue324
December 13, 2024 14:32 21m 50s
Fix #324: Keep track of instance-only imports Nix CI #124: Pull request #380 opened by jespercockx
December 13, 2024 14:32 1m 47s jespercockx:Issue324
jespercockx:Issue324
December 13, 2024 14:32 1m 47s
Draft: IsLawfulOrd proofs CI #718: Pull request #315 synchronize by odderwiser
December 10, 2024 19:13 21m 40s odderwiser:lawful-ord
odderwiser:lawful-ord
December 10, 2024 19:13 21m 40s
Draft: IsLawfulOrd proofs Nix CI #123: Pull request #315 synchronize by odderwiser
December 10, 2024 19:13 1m 46s odderwiser:lawful-ord
odderwiser:lawful-ord
December 10, 2024 19:13 1m 46s
Draft: IsLawfulOrd proofs CI #717: Pull request #315 synchronize by odderwiser
December 10, 2024 19:05 17m 10s odderwiser:lawful-ord
odderwiser:lawful-ord
December 10, 2024 19:05 17m 10s
Draft: IsLawfulOrd proofs Nix CI #122: Pull request #315 synchronize by odderwiser
December 10, 2024 19:05 1m 53s odderwiser:lawful-ord
odderwiser:lawful-ord
December 10, 2024 19:05 1m 53s
Draft: IsLawfulOrd proofs CI #716: Pull request #315 synchronize by odderwiser
December 9, 2024 15:11 16m 46s odderwiser:lawful-ord
odderwiser:lawful-ord
December 9, 2024 15:11 16m 46s
Draft: IsLawfulOrd proofs Nix CI #121: Pull request #315 synchronize by odderwiser
December 9, 2024 15:11 1m 45s odderwiser:lawful-ord
odderwiser:lawful-ord
December 9, 2024 15:11 1m 45s
Always drop "Haskell." prefix from module names Nix CI #120: Pull request #379 opened by jespercockx
November 15, 2024 15:36 1m 46s jespercockx:drop-haskell-prefix
jespercockx:drop-haskell-prefix
November 15, 2024 15:36 1m 46s
Always drop "Haskell." prefix from module names CI #715: Pull request #379 opened by jespercockx
November 15, 2024 15:36 25m 59s jespercockx:drop-haskell-prefix
jespercockx:drop-haskell-prefix
November 15, 2024 15:36 25m 59s
[ fix #119 ] Throw an error when an unknown name appears in generated… CI #714: Commit 62617a5 pushed by jespercockx
October 10, 2024 12:45 7m 8s master
master
October 10, 2024 12:45 7m 8s
[ fix #119 ] Throw an error when an unknown name appears in generated… Nix CI #119: Commit 62617a5 pushed by jespercockx
October 10, 2024 12:45 1m 46s master
master
October 10, 2024 12:45 1m 46s
[ fix #119 ] Throw an error when an unknown name appears in generated… Docs #159: Commit 62617a5 pushed by jespercockx
October 10, 2024 12:45 35s master
master
October 10, 2024 12:45 35s
pages build and deployment pages-build-deployment #97: by github-pages bot
October 3, 2024 11:05 27s gh-pages
gh-pages
October 3, 2024 11:05 27s
Docs: tweak features.md Docs #158: Commit afb5392 pushed by omelkonian
October 3, 2024 11:04 26s master
master
October 3, 2024 11:04 26s
Docs: tweak features.md CI #713: Pull request #375 opened by anuyts
October 3, 2024 10:44 5m 23s anuyts:master
anuyts:master
October 3, 2024 10:44 5m 23s
Docs: tweak features.md Nix CI #118: Pull request #375 opened by anuyts
October 3, 2024 10:44 1m 11s anuyts:master
anuyts:master
October 3, 2024 10:44 1m 11s