.github/workflows/push_pr.yml

Bump mathlib #289

Sign in to view logs

Triggered via pull request September 30, 2024 22:03

Ruben-VandeVelde

opened #139

Ruben-VandeVelde:bump

Status Success

Total duration 3m 26s

Artifacts –

push_pr.yml

on: pull_request