Skip to content
CI

coq-color works with coq 8.18 as well #162

Sign in to view logs

coq-color works with coq 8.18 as well

coq-color works with coq 8.18 as well #162

Triggered via push September 28, 2023 10:44
@fblanquifblanqui
pushed 1f64d61
master
Status Success
Total duration 6m 34s
Artifacts –

ci.yml

on: push
build
6m 4s
build
deploy
10s
deploy
Fit to window
Zoom out
Zoom in