continuous integration (staging)

chore: remove workarounds for lean4#1891 (#9290) #5872

Sign in to view logs

Triggered via push December 26, 2023 22:33

mathlib-bors[bot]

staging

Status Success

Total duration 1h 6m 11s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows