Skip to content
.github/workflows/push_pr.yml

bump mathlib #399

Sign in to view logs

bump mathlib

bump mathlib #399

Triggered via pull request November 18, 2024 12:19
@kbuzzardkbuzzard
opened #221
bump
Status Success
Total duration 4m 0s
Artifacts –

push_pr.yml

on: pull_request
Build project
3m 50s
Build project
Fit to window
Zoom out
Zoom in