Skip to content
.github/workflows/blueprint.yml

fix(blueprint): declaration name, for the mathlib bump #31

Sign in to view logs

fix(blueprint): declaration name, for the mathlib bump

fix(blueprint): declaration name, for the mathlib bump #31

Annotations

1 warning

Build project

Build project
succeeded Jan 17, 2025 in 25m 16s