Skip to content

Actions: jespercockx/agda2hs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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 ] 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