Skip to content
CI

Try importing multiple agda files (#4) #20

Sign in to view logs

Try importing multiple agda files (#4)

Try importing multiple agda files (#4) #20

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix build
8m 50s
8m 50s