Skip to content
CI

coq-hott.dev depend on rocq-core + coq-core not coq #1739

Sign in to view logs

coq-hott.dev depend on rocq-core + coq-core not coq

coq-hott.dev depend on rocq-core + coq-core not coq #1739

Triggered via pull request February 19, 2025 13:04
@SkySkimmerSkySkimmer
synchronize #3346
SkySkimmer:hott-dev
Status Success
Total duration 2m 14s
Artifacts –

ci.yml

on: pull_request
build
2m 3s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in