continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #66140

Sign in to view logs

Triggered via push January 14, 2024 21:02

leanprover-community-mathlib4-bot

lean-pr-testing-3183

Status Success

Total duration 1h 19m 0s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows