Skip to content

Actions: jespercockx/agda2hs

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-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 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 Nix CI #1: Commit a610207 pushed by jespercockx
September 10, 2024 15:15 2m 1s master
master
September 10, 2024 15:15 2m 1s