Skip to content

Actions: agda/agda2hs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
[ fix #373 ] enable existing-class on postulated type formers CI #712: Pull request #374 synchronize by flupe
October 1, 2024 12:12 19m 13s flupe:issue373
flupe:issue373
October 1, 2024 12:12 19m 13s
[ fix #373 ] enable existing-class on postulated type formers CI #711: Pull request #374 opened by flupe
October 1, 2024 12:09 2m 9s flupe:issue373
flupe:issue373
October 1, 2024 12:09 2m 9s
update changelog CI #710: Commit 0412c42 pushed by jespercockx
October 1, 2024 11:29 18m 58s master
master
October 1, 2024 11:29 18m 58s
[ fix #370 ] add locate command, data-files in cabal config CI #709: Pull request #372 synchronize by flupe
October 1, 2024 09:41 3m 50s flupe:locate
flupe:locate
October 1, 2024 09:41 3m 50s
[ fix #370 ] add locate command, data-files in cabal config CI #708: Pull request #372 synchronize by flupe
October 1, 2024 09:32 17m 51s flupe:locate
flupe:locate
October 1, 2024 09:32 17m 51s
[ fix #370 ] add locate command, data-files in cabal config CI #707: Pull request #372 opened by flupe
October 1, 2024 09:18 19m 23s flupe:locate
flupe:locate
October 1, 2024 09:18 19m 23s
[ #308 ] Already fixed by new canonicity check, adding test case CI #706: Commit a5552b6 pushed by jespercockx
September 25, 2024 08:07 18m 23s master
master
September 25, 2024 08:07 18m 23s
[ fix #119 ] Raise a warning when an unknown name appears in generated Haskell code CI #705: Pull request #332 synchronize by jespercockx
September 25, 2024 08:03 4m 5s jespercockx:issue119
jespercockx:issue119
September 25, 2024 08:03 4m 5s
Update author list in agda2hs.cabal CI #704: Commit 770f209 pushed by jespercockx
September 25, 2024 08:00 5m 34s master
master
September 25, 2024 08:00 5m 34s
[ fix #119 ] Raise a warning when an unknown name appears in generated Haskell code CI #703: Pull request #332 synchronize by jespercockx
September 24, 2024 15:48 4m 38s jespercockx:issue119
jespercockx:issue119
September 24, 2024 15:48 4m 38s
remove the jailbreak in flake.nix now that aeson bounds are relaxed CI #702: Pull request #369 synchronize by liesnikov
September 24, 2024 15:24 3m 1s liesnikov:master
liesnikov:master
September 24, 2024 15:24 3m 1s
remove the jailbreak in flake.nix now that aeson bounds are relaxed CI #701: Pull request #369 opened by liesnikov
September 24, 2024 15:12 3m 1s liesnikov:master
liesnikov:master
September 24, 2024 15:12 3m 1s
Add missing upper bound for mtl package CI #700: Commit d934308 pushed by jespercockx
September 24, 2024 14:44 5m 44s master
master
September 24, 2024 14:44 5m 44s
[ re #357 ] Erase type arguments of mapDec CI #699: Commit 8073476 pushed by jespercockx
September 24, 2024 13:23 21m 10s master
master
September 24, 2024 13:23 21m 10s
Add support for GHC 9.10.2 CI #698: Pull request #368 synchronize by jespercockx
September 24, 2024 11:29 20m 15s jespercockx:ghc-9.10
jespercockx:ghc-9.10
September 24, 2024 11:29 20m 15s
Add support for GHC 9.10.2 CI #697: Pull request #368 opened by jespercockx
September 24, 2024 11:25 30s jespercockx:ghc-9.10
jespercockx:ghc-9.10
September 24, 2024 11:25 30s
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
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 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
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 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