Skip to content
update nolints

update nolints #104

Sign in to view logs

update nolints

update nolints #104

Triggered via schedule December 14, 2025 00:05
@mathlib-borsmathlib-bors[bot]
⁠ 1825e17
master
Status Success
Total duration 11m 55s
Artifacts –

nolints.yml

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