the run-tests
clause in the repo opam package for bignums is broken, since it requires the .vo
files for the package to already be installed
the CI for the bignums repo uses the coqorg Docker images, which already have the coq-bignums
package installed. The latter is used for the testing in CI when executing run-tests
, not actual repo contents
Last updated: Oct 13 2024 at 01:02 UTC