[CI] Add MC 2.1.0 #644
Triggered via pull request
October 26, 2023 12:33
proux01
Status
Cancelled
Total duration
1m 47s
Artifacts
–
Annotations
10 errors
|
build (mathcomp/mathcomp:2.1.0-coq-8.16)
The run was canceled by @proux01.
|
|
build (mathcomp/mathcomp:2.1.0-coq-8.16)
The operation was canceled.
|
|
build (mathcomp/mathcomp-dev:coq-dev)
The run was canceled by @proux01.
|
|
build (mathcomp/mathcomp-dev:coq-dev)
The operation was canceled.
|
|
build (mathcomp/mathcomp:2.0.0-coq-8.16)
The run was canceled by @proux01.
|
|
build (mathcomp/mathcomp:2.0.0-coq-8.16)
The operation was canceled.
|
|
build (mathcomp/mathcomp:2.0.0-coq-8.18)
The run was canceled by @proux01.
|
|
build (mathcomp/mathcomp:2.0.0-coq-8.18)
The operation was canceled.
|
|
build (mathcomp/mathcomp:2.1.0-coq-8.18)
The run was canceled by @proux01.
|
|
build (mathcomp/mathcomp:2.1.0-coq-8.18)
The operation was canceled.
|