Skip to content
Docker CI

Replace calls to "vm_compute in hyps" by plain calls to vm_compute. #145

Sign in to view logs

Replace calls to "vm_compute in hyps" by plain calls to vm_compute.

Replace calls to "vm_compute in hyps" by plain calls to vm_compute. #145

Run time

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