Skip to content

Actions: jespercockx/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ re #354 ] Erase type arguments of mapDec Docs #11: Commit 424d31a pushed by jespercockx
September 11, 2024 11:56 33s master
master
September 11, 2024 11:56 33s
[ re #354 ] Erase type arguments of mapDec CI #11: Commit 424d31a pushed by jespercockx
September 11, 2024 11:56 6m 8s master
master
September 11, 2024 11:56 6m 8s
[ re #354 ] Erase type arguments of mapDec Nix CI #2: Commit 424d31a pushed by jespercockx
September 11, 2024 11:56 1m 57s master
master
September 11, 2024 11:56 1m 57s
[ re #354 ] Do not check canonicity of erased instances Docs #10: Commit a610207 pushed by jespercockx
September 10, 2024 15:15 48s master
master
September 10, 2024 15:15 48s
[ re #354 ] Do not check canonicity of erased instances Nix CI #1: Commit a610207 pushed by jespercockx
September 10, 2024 15:15 2m 1s master
master
September 10, 2024 15:15 2m 1s
[ re #354 ] Do not check canonicity of erased instances CI #10: Commit a610207 pushed by jespercockx
September 10, 2024 15:15 31m 5s master
master
September 10, 2024 15:15 31m 5s
Erase arguments a and x of rezzErase Docs #9: Commit 07c9d3d pushed by jespercockx
December 22, 2023 15:30 31s master
master
December 22, 2023 15:30 31s
Erase arguments a and x of rezzErase CI #9: Commit 07c9d3d pushed by jespercockx
December 22, 2023 15:30 24m 41s master
master
December 22, 2023 15:30 24m 41s
Remove code duplication of agda-mode (#238) Docs #8: Commit 707c9a6 pushed by jespercockx
December 8, 2023 10:10 32s master
master
December 8, 2023 10:10 32s
Remove code duplication of agda-mode (#238) CI #8: Commit 707c9a6 pushed by jespercockx
December 8, 2023 10:10 25m 55s master
master
December 8, 2023 10:10 25m 55s