continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3178 #66068

Sign in to view logs

Triggered via push January 14, 2024 13:09

leanprover-community-mathlib4-bot

lean-pr-testing-3178

Status Success

Total duration 1h 18m 54s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows