Skip to content
CI

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

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 #1736

Triggered via push February 19, 2025 11:31
@SkySkimmerSkySkimmer
pushed dbf43b0
coq-lean-import
Status Success
Total duration 1m 41s
Artifacts –

ci.yml

on: push
build
1m 29s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in