.github/workflows/push_pr.yml

Bump mathlib to v4.24.0 #658

Sign in to view logs

Triggered via pull request November 9, 2025 18:56

YaelDillies

synchronize #259

bump

Status Failure

Total duration 3m 10s

Artifacts –

push_pr.yml

on: pull_request

Annotations

1 error

Build project

Process completed with exit code 1.