Skip to content
Build and Deploy documentation

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

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. #26

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-coqdoc
1m 38s
1m 38s