Skip to content
Compile blueprint

Use Mathlib linters #29

Sign in to view logs

Use Mathlib linters

Use Mathlib linters #29

Triggered via pull request September 2, 2025 11:16
@RemyDegenneRemyDegenne
synchronize #12
CI
Status Success
Total duration 4m 43s
Artifacts –

blueprint.yml

on: pull_request
Build project
4m 36s
Build project
Fit to window
Zoom out
Zoom in