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

Triggered via push January 17, 2025 22:34
@grunweggrunweg
pushed 29c536b
master
Status Success
Total duration 25m 26s
Artifacts 1

blueprint.yml

on: push
Build project
25m 16s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build project
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
github-pages Expired
22.7 MB