Skip to content
Tests

fix breakage from previous commit removing an unneeded hypothesis fro… #3962

Sign in to view logs

fix breakage from previous commit removing an unneeded hypothesis fro…

fix breakage from previous commit removing an unneeded hypothesis fro… #3962

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)
16m 3s
16m 3s