Skip to content
CI

Package coq-quickchick.2.0.2 #520

Sign in to view logs

Package coq-quickchick.2.0.2

Package coq-quickchick.2.0.2 #520

Triggered via pull request January 8, 2024 04:08
@liyishuailiyishuai
opened #2889
liyishuai:opam-publish-coq-quickchick.2.0.2
Status Success
Total duration 2m 28s
Artifacts –

ci.yml

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