Skip to content
.github/workflows/blueprint.yml

start fixing files after mathlib update (WIP) #154

Sign in to view logs

start fixing files after mathlib update (WIP)

start fixing files after mathlib update (WIP) #154

Triggered via push February 19, 2025 16:42
@mariainesdffmariainesdff
pushed 3238b72
main
Status Failure
Total duration 12s
Artifacts –

blueprint.yml

on: push
Build project
2s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v3`. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/