.github/workflows/push_pr.yml

Update mathlib4 to v4.11.0-rc2 #305

Sign in to view logs

Triggered via pull request August 7, 2024 07:24

fpvandoorn

synchronize #109

Parcly-Taxel:mathlib-update

Status Success

Total duration 7m 24s

Artifacts –

push_pr.yml

on: pull_request