continuous integration (staging)

chore: adaptations for leanprover/lean4#3084 (#9452) #5974

Sign in to view logs

Triggered via push January 7, 2024 07:15

mathlib-bors[bot]

staging

Status Success

Total duration 20m 31s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows