Skip to content
continuous integration (staging)

chore: deprecate the ∑ x in s, f x notation (#21253) #13448

Sign in to view logs

chore: deprecate the ∑ x in s, f x notation (#21253)

chore: deprecate the ∑ x in s, f x notation (#21253) #13448

Triggered via push January 30, 2025 14:31
@mathlib-borsmathlib-bors[bot]
pushed 5cd9ae1
staging
Status Failure
Total duration 42s
Artifacts –

bors.yml

on: push
Lint style
35s
Lint style
Build
25s
Build
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build
Process completed with exit code 127.
Build
Process completed with exit code 2.