Skip to content

Actions: jespercockx/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 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