Skip to content
Build matrix

Disable some nexp simplifications that confuse the Coq backend #964

Sign in to view logs

Disable some nexp simplifications that confuse the Coq backend

Disable some nexp simplifications that confuse the Coq backend #964

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-docker
7m 4s
build (4.08.1, ubuntu-latest)
5m 59s
build (5.2.1, ubuntu-latest)
5m 52s
build (5.2.1, macos-latest)
8m 22s
27m 17s