Skip to content
ci

Merge pull request #81 from leanprover-community/nightly-testing #331

Sign in to view logs

Merge pull request #81 from leanprover-community/nightly-testing

Merge pull request #81 from leanprover-community/nightly-testing #331

Triggered via push October 3, 2024 12:48
@kim-emkim-em
pushed baa65c6
main
Status Success
Total duration 3m 5s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in