Skip to content
CI

Update extra-dev/packages/coq-lean-import/coq-lean-import.dev/opam #1734

Sign in to view logs

Update extra-dev/packages/coq-lean-import/coq-lean-import.dev/opam

Update extra-dev/packages/coq-lean-import/coq-lean-import.dev/opam #1734

Triggered via push February 19, 2025 11:17
@SkySkimmerSkySkimmer
pushed f68fda0
coq-lean-import
Status Success
Total duration 2m 18s
Artifacts –

ci.yml

on: push
build
2m 9s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in