Skip to content
Compile blueprint

Remove an import Mathlib #320

Sign in to view logs

Remove an import Mathlib

Remove an import Mathlib #320

Triggered via pull request January 29, 2026 21:21
@RemyDegenneRemyDegenne
opened #70
bump
Status Success
Total duration 7m 2s
Artifacts –

blueprint.yml

on: pull_request
Build project
6m 58s
Build project
Fit to window
Zoom out
Zoom in