Skip to content
CI

coq-reglang.1.1.3, coq-mathcomp-finmap.1.5.2, coq-graph-theory.0.9.2 compat with MC 1.18.0 #340

Sign in to view logs

coq-reglang.1.1.3, coq-mathcomp-finmap.1.5.2, coq-graph-theory.0.9.2 compat with MC 1.18.0

coq-reglang.1.1.3, coq-mathcomp-finmap.1.5.2, coq-graph-theory.0.9.2 compat with MC 1.18.0 #340

Triggered via pull request November 1, 2023 22:04
@palmskogpalmskog
synchronize #2811
palmskog:ssr-1.18-compat
Status Success
Total duration 6m 7s
Artifacts –

ci.yml

on: pull_request
build
5m 55s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in