Skip to content
Build

agda-stdlib (not 2.0); ring solver sanity check #14

Sign in to view logs

agda-stdlib (not 2.0); ring solver sanity check

agda-stdlib (not 2.0); ring solver sanity check #14

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
11m 19s
11m 19s