continuous integration

chore: adapt to leanprover/lean4#5835 #143575

Sign in to view logs

Triggered via push November 18, 2024 15:18

mhuisi

lean-pr-testing-5835

Status Success

Total duration 45m 33s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)