Skip to content
CI (Coq, docker, dev)

Adapt wrt Coq/Coq#18164 #881

Sign in to view logs

Adapt wrt Coq/Coq#18164

Adapt wrt Coq/Coq#18164 #881

Re-run triggered November 19, 2023 20:25
@JasonGrossJasonGross
#1738
Villetaneuse:rm_arith_files
Status Success
Total duration 37m 21s
Artifacts –

docker-coq.yml

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