.github/workflows/push_pr.yml

Update mathlib4 to v4.11.0-rc2 #304

Sign in to view logs

Triggered via pull request August 6, 2024 05:26

synchronize #109

Parcly-Taxel:mathlib-update

Status Success

Total duration 7m 27s

Artifacts –

push_pr.yml

on: pull_request