Skip to content
CI

Package coq-hierarchy-builder.1.7.0 #538

Sign in to view logs

Package coq-hierarchy-builder.1.7.0

Package coq-hierarchy-builder.1.7.0 #538

Triggered via pull request January 11, 2024 11:10
@coqelpibotcoqelpibot
opened #2896
coqelpibot:opam-publish-coq-hierarchy-builder.1.7.0
Status Success
Total duration 2m 26s
Artifacts –

ci.yml

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