Skip to content
ci

Merge pull request #69 from leanprover-community/nightly-testing #266

Sign in to view logs

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

Merge pull request #69 from leanprover-community/nightly-testing #266

Triggered via push July 1, 2024 01:24
@kim-emkim-em
pushed d1b3320
main
Status Success
Total duration 2m 57s
Artifacts –

build.yml

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