Skip to content
Lint Style

use permanent, which is now in mathlib #134

Sign in to view logs

use permanent, which is now in mathlib

use permanent, which is now in mathlib #134

Triggered via push November 20, 2024 15:41
@mo271mo271
pushed fccdbb3
main
Status Success
Total duration 14s
Artifacts –

lint.yml

on: push
style_lint
3s
style_lint
Fit to window
Zoom out
Zoom in