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

[ fix #373 ] enable existing-class on postulated type formers Nix CI #117: Pull request #374 synchronize by flupe
October 1, 2024 12:12 1m 48s flupe:issue373
flupe:issue373
October 1, 2024 12:12 1m 48s
[ 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 Nix CI #116: Pull request #374 opened by flupe
October 1, 2024 12:09 1m 40s flupe:issue373
flupe:issue373
October 1, 2024 12:09 1m 40s
[ 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
pages build and deployment pages-build-deployment #96: by github-pages bot
October 1, 2024 11:29 32s gh-pages
gh-pages
October 1, 2024 11:29 32s
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
update changelog Docs #157: Commit 0412c42 pushed by jespercockx
October 1, 2024 11:29 34s master
master
October 1, 2024 11:29 34s
update changelog Nix CI #115: Commit 0412c42 pushed by jespercockx
October 1, 2024 11:29 1m 42s master
master
October 1, 2024 11:29 1m 42s
[ 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 Nix CI #114: Pull request #372 synchronize by flupe
October 1, 2024 09:41 1m 39s flupe:locate
flupe:locate
October 1, 2024 09:41 1m 39s
[ fix #370 ] add locate command, data-files in cabal config Nix CI #113: Pull request #372 synchronize by flupe
October 1, 2024 09:32 1m 53s flupe:locate
flupe:locate
October 1, 2024 09:32 1m 53s
[ 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
[ fix #370 ] add locate command, data-files in cabal config Nix CI #112: Pull request #372 opened by flupe
October 1, 2024 09:18 1m 39s flupe:locate
flupe:locate
October 1, 2024 09:18 1m 39s
[ #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
[ #308 ] Already fixed by new canonicity check, adding test case Nix CI #111: Commit a5552b6 pushed by jespercockx
September 25, 2024 08:07 1m 48s master
master
September 25, 2024 08:07 1m 48s
[ #308 ] Already fixed by new canonicity check, adding test case Docs #156: Commit a5552b6 pushed by jespercockx
September 25, 2024 08:07 30s master
master
September 25, 2024 08:07 30s
[ fix #119 ] Raise a warning when an unknown name appears in generated Haskell code Nix CI #110: Pull request #332 synchronize by jespercockx
September 25, 2024 08:03 1m 21s jespercockx:issue119
jespercockx:issue119
September 25, 2024 08:03 1m 21s
[ 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 Nix CI #109: Commit 770f209 pushed by jespercockx
September 25, 2024 08:00 1m 43s master
master
September 25, 2024 08:00 1m 43s
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
Update author list in agda2hs.cabal Docs #155: Commit 770f209 pushed by jespercockx
September 25, 2024 08:00 29s master
master
September 25, 2024 08:00 29s
[ fix #119 ] Raise a warning when an unknown name appears in generated Haskell code Nix CI #108: Pull request #332 synchronize by jespercockx
September 24, 2024 15:48 1m 44s jespercockx:issue119
jespercockx:issue119
September 24, 2024 15:48 1m 44s
[ 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 now that aeson bounds are relaxed Docs #154: Commit 2b72ccb pushed by jespercockx
September 24, 2024 15:39 34s master
master
September 24, 2024 15:39 34s