Skip to content
ci

Merge pull request #77 from leanprover-community/bump_toolchain_to_v4… #306

Sign in to view logs

Merge pull request #77 from leanprover-community/bump_toolchain_to_v4…

Merge pull request #77 from leanprover-community/bump_toolchain_to_v4… #306

Triggered via push September 3, 2024 03:52
@kim-emkim-em
pushed 6c231c6
main
Status Success
Total duration 3m 24s
Artifacts –

build.yml

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