.github/workflows/push.yml

bump mathlib #148

Sign in to view logs

Triggered via push December 22, 2025 18:13

sinhp

master

Status Success

Total duration 2m 25s

Artifacts –

push.yml

on: push