continuous integration (staging)

chore(scripts): require all scripts to be documented in the README (#… #11514

Sign in to view logs

Triggered via push October 30, 2024 23:31

mathlib-bors[bot]

staging

Status Failure

Total duration 7m 42s

Artifacts –

bors.yml

on: push

Cancel Previous Runs (CI)

Annotations

1 error

Process completed with exit code 1.