Skip to content
.github/workflows/lean-release-tag.yml

Bump mathlib to v4.26.0 #6

Sign in to view logs

Bump mathlib to v4.26.0

Bump mathlib to v4.26.0 #6

Triggered via push December 14, 2025 12:26
@YaelDilliesYaelDillies
pushed 5f64737
master
Status Success
Total duration 7s
Artifacts –

lean-release-tag.yml

on: push
Add Lean release tag
4s
Add Lean release tag
Fit to window
Zoom out
Zoom in