Skip to content
.github/workflows/lean_build.yml

use permanent, which is now in mathlib #290

Sign in to view logs

use permanent, which is now in mathlib

use permanent, which is now in mathlib #290

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

lean_build.yml

on: push
Build project
1m 58s
Build project
Fit to window
Zoom out
Zoom in