Skip to content
Docker CI

Try more Coq versions #10

Sign in to view logs

Try more Coq versions

Try more Coq versions #10

Triggered via push October 9, 2024 03:32
@liyishuailiyishuai
pushed 24b6a1e
master
Status Failure
Total duration 5m 33s
Artifacts –

docker-action.yml

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

Annotations

3 warnings
build (coqorg/coq:dev): theories/Parser.v#L1
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): theories/Number.v#L1
"From Coq" has been replaced by "From Stdlib".
build (coqorg/coq:dev): theories/Number.v#L5
"From Coq" has been replaced by "From Stdlib".