Skip to content
Lint trailing whitespaces

prove a bunch in sigma.lean #485

Sign in to view logs

prove a bunch in sigma.lean

prove a bunch in sigma.lean #485

Triggered via pull request August 5, 2026 14:31
@MrBrain295MrBrain295
synchronize #686
MrBrain295:patch-1
Status Success
Total duration 12s
Artifacts –

lint-whitespaces.yml

on: pull_request
Lint trailing whitespaces
7s
Lint trailing whitespaces
Fit to window
Zoom out
Zoom in