Skip to content
Nix CI

actually do generate projections #20

Sign in to view logs

actually do generate projections

actually do generate projections #20

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile agda2lambox with nix (agda2lambox)
1m 28s
1m 28s