Skip to content
Build

Bump mathlib dependency to a379806 #99

Sign in to view logs

Bump mathlib dependency to a379806

Bump mathlib dependency to a379806 #99

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

build.yml

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