Skip to content
CI

Merge pull request #2732 from coqelpibot/opam-publish-coq-hierarchy-b… #133

Sign in to view logs

Merge pull request #2732 from coqelpibot/opam-publish-coq-hierarchy-b…

Merge pull request #2732 from coqelpibot/opam-publish-coq-hierarchy-b… #133

Triggered via push September 20, 2023 15:04
@palmskogpalmskog
pushed 0e95709
master
Status Success
Total duration 11m 0s
Artifacts –

ci.yml

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