Skip to content
Check the Agda files

Build the nix derivation in CI #2

Sign in to view logs

Build the nix derivation in CI

Build the nix derivation in CI #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 24s
1m 24s