continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3043 #59819

Sign in to view logs

Triggered via push December 9, 2023 22:19

leanprover-community-mathlib4-bot

lean-pr-testing-3043

Status Success

Total duration 21m 27s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows