.github/workflows/push_pr.yml

Bump mathlib to v4.24.0 #656

Sign in to view logs

Triggered via pull request October 15, 2025 12:35

YaelDillies

synchronize #259

bump

Status Success

Total duration 42m 28s

Artifacts –

push_pr.yml

on: pull_request