continuous integration (staging)

perf (Homology.ProjectiveResolution): remove `MkStruct`, re-jigger pr… #5995

Sign in to view logs

Triggered via push January 8, 2024 23:13

mathlib-bors[bot]

staging

Status Success

Total duration 1h 11m 28s

Artifacts –

bors.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows