Skip to content
Build Lean project

Enforce mathlib linters #256

Sign in to view logs

Enforce mathlib linters

Enforce mathlib linters #256

Triggered via push March 5, 2025 14:52
@YaelDilliesYaelDillies
pushed ccedfb3
master
Status Success
Total duration 20m 52s
Artifacts –

push_master.yml

on: push
Lint style
2s
Lint style
Build project
20m 41s
Build project
Fit to window
Zoom out
Zoom in