Skip to content
ci

Merge pull request #19 from leanprover-community/bump/v4.7.0 #65

Sign in to view logs

Merge pull request #19 from leanprover-community/bump/v4.7.0

Merge pull request #19 from leanprover-community/bump/v4.7.0 #65

Triggered via push March 13, 2024 15:46
@PratherConidPratherConid
pushed 39634b8
main
Status Skipped
Total duration 2s
Artifacts –

build.yml

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