Skip to content
CI

Merge pull request #3347 from coq/coq-lean-import #1747

Sign in to view logs

Merge pull request #3347 from coq/coq-lean-import

Merge pull request #3347 from coq/coq-lean-import #1747

Triggered via push February 19, 2025 16:08
@palmskogpalmskog
pushed fbbeb2b
master
Status Success
Total duration 1m 56s
Artifacts –

ci.yml

on: push
build
1m 22s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in