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 #359 ] Do not reapply clauses of projection-like functions to t… Nix CI #82: Commit 76e9c4c pushed by jespercockx
September 12, 2024 08:40 1m 41s master
master
September 12, 2024 08:40 1m 41s
[ fix #359 ] Do not reapply clauses of projection-like functions to t… Docs #143: Commit 76e9c4c pushed by jespercockx
September 12, 2024 08:40 29s master
master
September 12, 2024 08:40 29s
[ fix #359 ] Do not reapply clauses of projection-like functions to t… CI #677: Commit 76e9c4c pushed by jespercockx
September 12, 2024 08:40 6m 21s master
master
September 12, 2024 08:40 6m 21s
Fix for #359 Nix CI #81: Pull request #360 synchronize by jespercockx
September 11, 2024 15:18 1m 50s jespercockx:issue359
jespercockx:issue359
September 11, 2024 15:18 1m 50s
Fix for #359 CI #676: Pull request #360 synchronize by jespercockx
September 11, 2024 15:18 5m 43s jespercockx:issue359
jespercockx:issue359
September 11, 2024 15:18 5m 43s
Fix for #359 Nix CI #80: Pull request #360 opened by jespercockx
September 11, 2024 15:17 1m 43s jespercockx:issue359
jespercockx:issue359
September 11, 2024 15:17 1m 43s
Fix for #359 CI #675: Pull request #360 opened by jespercockx
September 11, 2024 15:17 2m 52s jespercockx:issue359
jespercockx:issue359
September 11, 2024 15:17 2m 52s
Fix for #357 CI #674: Pull request #358 synchronize by jespercockx
September 9, 2024 14:26 3m 28s jespercockx:issue357
jespercockx:issue357
September 9, 2024 14:26 3m 28s
Fix for #357 Nix CI #79: Pull request #358 synchronize by jespercockx
September 9, 2024 14:26 1m 56s jespercockx:issue357
jespercockx:issue357
September 9, 2024 14:26 1m 56s
Fix for #357 CI #673: Pull request #358 synchronize by jespercockx
September 9, 2024 14:06 6m 16s jespercockx:issue357
jespercockx:issue357
September 9, 2024 14:06 6m 16s
Fix for #357 Nix CI #78: Pull request #358 synchronize by jespercockx
September 9, 2024 14:06 2m 32s jespercockx:issue357
jespercockx:issue357
September 9, 2024 14:06 2m 32s
Fix for #357 Nix CI #77: Pull request #358 opened by jespercockx
September 7, 2024 14:59 1m 37s jespercockx:issue357
jespercockx:issue357
September 7, 2024 14:59 1m 37s
Fix for #357 CI #672: Pull request #358 opened by jespercockx
September 7, 2024 14:59 21m 0s jespercockx:issue357
jespercockx:issue357
September 7, 2024 14:59 21m 0s
pages build and deployment pages-build-deployment #72: by github-pages bot
September 7, 2024 12:36 26s gh-pages
gh-pages
September 7, 2024 12:36 26s
pages build and deployment pages-build-deployment #71: by github-pages bot
September 7, 2024 12:36 20s gh-pages
gh-pages
September 7, 2024 12:36 20s
pages build and deployment pages-build-deployment #70: by github-pages bot
September 7, 2024 12:18 27s gh-pages
gh-pages
September 7, 2024 12:18 27s
Update Agda base to 2.7.0 Nix CI #76: Pull request #350 synchronize by jespercockx
September 7, 2024 12:15 1m 39s jespercockx:agda-2.7.0
jespercockx:agda-2.7.0
September 7, 2024 12:15 1m 39s
Update Agda base to 2.7.0 CI #671: Pull request #350 synchronize by jespercockx
September 7, 2024 12:15 31m 44s jespercockx:agda-2.7.0
jespercockx:agda-2.7.0
September 7, 2024 12:15 31m 44s
New (simpler but more robust) implementation of canonicity check Docs #142: Commit 03c9aae pushed by jespercockx
September 7, 2024 12:14 3m 47s master
master
September 7, 2024 12:14 3m 47s
New (simpler but more robust) implementation of canonicity check CI #670: Commit 03c9aae pushed by jespercockx
September 7, 2024 12:14 29m 17s master
master
September 7, 2024 12:14 29m 17s
New (simpler but more robust) implementation of canonicity check Nix CI #75: Commit 03c9aae pushed by jespercockx
September 7, 2024 12:14 4m 54s master
master
September 7, 2024 12:14 4m 54s
New (simpler but more robust) implementation of canonicity check CI #669: Pull request #354 opened by jespercockx
August 27, 2024 14:08 21m 25s jespercockx:new-canonicity
jespercockx:new-canonicity
August 27, 2024 14:08 21m 25s
New (simpler but more robust) implementation of canonicity check Nix CI #74: Pull request #354 opened by jespercockx
August 27, 2024 14:08 1m 46s jespercockx:new-canonicity
jespercockx:new-canonicity
August 27, 2024 14:08 1m 46s
Update Agda base to 2.7.0 CI #668: Pull request #350 synchronize by jespercockx
August 23, 2024 09:07 14m 54s jespercockx:agda-2.7.0
jespercockx:agda-2.7.0
August 23, 2024 09:07 14m 54s
Update Agda base to 2.7.0 Nix CI #73: Pull request #350 synchronize by jespercockx
August 23, 2024 09:07 1m 33s jespercockx:agda-2.7.0
jespercockx:agda-2.7.0
August 23, 2024 09:07 1m 33s