.github/workflows/push.yml

Bump mathlib #685

Sign in to view logs

Triggered via push January 31, 2025 20:51

YaelDillies

master

Status Failure

Total duration 12s

Artifacts –

push.yml

on: push

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/