Skip to content
Compile blueprint

Prove some sorrys, update Mathlib #187

Sign in to view logs

Prove some sorrys, update Mathlib

Prove some sorrys, update Mathlib #187

Triggered via pull request October 23, 2025 08:35
@RemyDegenneRemyDegenne
opened #38
work
Status Success
Total duration 5m 41s
Artifacts –

blueprint.yml

on: pull_request
Build project
5m 31s
Build project
Fit to window
Zoom out
Zoom in