Repository navigation

Build

Bump `mathlib` dependency to 5089c57 #46

Sign in to view logs

Re-run triggered September 11, 2026 19:46

RemyDegenne

#242

hopscotch/lkg-bump

Status Success

Total duration 16m 41s

Artifacts –

build.yml

on: pull_request