Updating math-comp-nix to version 2 #140
CohenCyrilnix.yml
on: pull_request
Computing matrix of tested versions
26s
Matrix: Build mathcomp and coq combination
Generate summary
0s
Annotations
3 errors
|
Build mathcomp and coq combination (8.18, 2.0.0)
Process completed with exit code 1.
|
|
Build mathcomp and coq combination (8.17, 2.0.0)
Process completed with exit code 1.
|
|
Build mathcomp and coq combination (8.16, 2.0.0)
Process completed with exit code 1.
|