Skip to content
Compile blueprint

Prove some sorrys, update Mathlib #191

Sign in to view logs

Prove some sorrys, update Mathlib

Prove some sorrys, update Mathlib #191

Triggered via pull request October 23, 2025 11:04
@RemyDegenneRemyDegenne
synchronize #38
work
Status Success
Total duration 6m 16s
Artifacts –

blueprint.yml

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