Skip to content
Compile blueprint

Fix Mathlib deprecation warnings #924

Sign in to view logs

Fix Mathlib deprecation warnings

Fix Mathlib deprecation warnings #924

Triggered via pull request August 20, 2026 09:25
@gaetanserregaetanserre
opened #215
gaetanserre:warnings
Status Success
Total duration 14m 57s
Artifacts –

blueprint.yml

on: pull_request
Build project
14m 54s
Build project
Fit to window
Zoom out
Zoom in