.github/workflows/push.yml

chore: bump mathlib (#511) #819

Sign in to view logs

Triggered via push October 31, 2025 16:19

grunweg

master

Status Failure

Total duration 56m 27s

Artifacts –

push.yml

on: push

Annotations

1 error

Build project

Process completed with exit code 1.

⚡