fix(CI): Remove coq-bignums beforehand & Ensure make -C tests
runs …
#212
The logs for this run have expired and are no longer available.
Loading
make -C tests
runs …
#212