Skip to content
Build

Bump mathlib dependency to 4871404 #109

Sign in to view logs

Bump mathlib dependency to 4871404

Bump mathlib dependency to 4871404 #109

Re-run triggered September 25, 2026 05:27
@RemyDegenneRemyDegenne
#261
hopscotch/lkg-bump
Status Success
Total duration 16m 17s
Artifacts –

build.yml

on: pull_request
Build project
16m 13s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 notice
Build project
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"