Skip to content
Docker CI

Adapt to https://github.com/math-comp/math-comp/pull/1223 #56

Sign in to view logs

Adapt to https://github.com/math-comp/math-comp/pull/1223

Adapt to https://github.com/math-comp/math-comp/pull/1223 #56

Triggered via pull request June 28, 2024 12:27
@proux01proux01
synchronize #18
mc_1223
Status Cancelled
Total duration 1m 34s
Artifacts –

docker-action.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 errors
build (mathcomp/mathcomp:2.1.0-coq-8.17)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.0.0-coq-8.16)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.1.0-coq-8.16)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.0.0-coq-8.17)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.0.0-coq-8.18)
The run was canceled by @proux01.
build (mathcomp/mathcomp:2.1.0-coq-8.18)
The run was canceled by @proux01.
build (mathcomp/mathcomp-dev:coq-8.16)
The run was canceled by @proux01.
build (mathcomp/mathcomp-dev:coq-dev)
The run was canceled by @proux01.
build (mathcomp/mathcomp-dev:coq-8.18)
The run was canceled by @proux01.
build (mathcomp/mathcomp-dev:coq-8.17)
The run was canceled by @proux01.