Skip to content
ci

Merge pull request #56 from leanprover-community/batteries #174

Sign in to view logs

Merge pull request #56 from leanprover-community/batteries

Merge pull request #56 from leanprover-community/batteries #174

Triggered via push May 7, 2024 04:37
@semorrisonsemorrison
pushed e6b6247
main
Status Success
Total duration 3m 46s
Artifacts –

build.yml

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