Skip to content
Build

Bump mathlib dependency to 045acef #105

Sign in to view logs

Bump mathlib dependency to 045acef

Bump mathlib dependency to 045acef #105

This workflow is awaiting approval from a maintainer in #260
Triggered via pull request September 23, 2026 18:17
@github-actionsgithub-actions[bot]
synchronize #260
hopscotch/lkg-bump
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #260

build.yml

on: pull_request
Build project
Build project
Fit to window
Zoom out
Zoom in