Skip to content
CI

Package coq-elpi.2.0.0 #479

Sign in to view logs

Package coq-elpi.2.0.0

Package coq-elpi.2.0.0 #479

Triggered via pull request December 23, 2023 13:12
@coqelpibotcoqelpibot
opened #2872
coqelpibot:opam-publish-coq-elpi.2.0.0
Status Success
Total duration 2m 23s
Artifacts –

ci.yml

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