Skip to content
CI

Package coq-elpi.2.0.1 #502

Sign in to view logs

Package coq-elpi.2.0.1

Package coq-elpi.2.0.1 #502

Triggered via pull request December 29, 2023 14:59
@coqelpibotcoqelpibot
opened #2883
coqelpibot:opam-publish-coq-elpi.2.0.1
Status Success
Total duration 2m 22s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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