continuous integration (staging)

chore: bump toolchain to v4.13.0-rc1 (#17377) #10805

Sign in to view logs

Triggered via push October 3, 2024 12:55

mathlib-bors[bot]

staging

Status Failure

Total duration 53m 49s

Artifacts –

bors.yml

on: push

Cancel Previous Runs (CI)

Annotations

1 error

Process completed with exit code 1.