Skip to content
CI

Merge pull request #2889 from liyishuai/opam-publish-coq-quickchick.2… #521

Sign in to view logs

Merge pull request #2889 from liyishuai/opam-publish-coq-quickchick.2…

Merge pull request #2889 from liyishuai/opam-publish-coq-quickchick.2… #521

Triggered via push January 8, 2024 09:48
@silenesilene
pushed a114c29
master
Status Success
Total duration 2m 52s
Artifacts –

ci.yml

on: push
build
2m 22s
build
deploy
10s
deploy
Fit to window
Zoom out
Zoom in