.github/workflows/push.yml

Update mathlib4 to v4.11.0-rc2 (#109) #359

Sign in to view logs

Triggered via push August 13, 2024 21:53

fpvandoorn

master

Status Success

Total duration 21m 32s

Artifacts –

push.yml

on: push