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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build project
25m 16s
25m 16s