continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3040 #64665

Sign in to view logs

Triggered via push January 8, 2024 07:29

leanprover-community-mathlib4-bot

lean-pr-testing-3040

Status Success

Total duration 19m 45s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows