Skip to content
Docker CI

Don't use vmcast to convert the reified goal and actual goal #140

Sign in to view logs

Don't use vmcast to convert the reified goal and actual goal

Don't use vmcast to convert the reified goal and actual goal #140

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
2m 5s
2m 5s