Skip to content
update nolints

update nolints #101

Sign in to view logs

update nolints

update nolints #101

Triggered via schedule November 23, 2025 00:05
@mathlib-borsmathlib-bors[bot]
⁠ 1df84c1
master
Status Success
Total duration 11m 18s
Artifacts –

nolints.yml

on: schedule
Build, lint and update nolints and style exceptions
11m 15s
Build, lint and update nolints and style exceptions
Fit to window
Zoom out
Zoom in