Skip to content
Docker CI

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

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 #139

Run time

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