Skip to content
Build

Bump mathlib dependency to 10f994e #147

Sign in to view logs

Bump mathlib dependency to 10f994e

Bump mathlib dependency to 10f994e #147

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

build.yml

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