Adapt to https://github.com/math-comp/math-comp/pull/1545 #157
Annotations
1 error
|
Building/fetching previous CI target: mathcomp-boot
Process completed with exit code 1.
|
Loading