Skip to content
Build

chore: bump mathlib to 0867942, fix breaking changes #180

Sign in to view logs

chore: bump mathlib to 0867942, fix breaking changes

chore: bump mathlib to 0867942, fix breaking changes #180

This workflow is awaiting approval from a maintainer in #297
Triggered via pull request November 6, 2026 18:10
@github-actionsgithub-actions[bot]
opened #297
bump-mathlib/fix-0867942
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #297

build.yml

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