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

Bump mathlib to v4.27.0 #8

Sign in to view logs

Bump mathlib to v4.27.0

Bump mathlib to v4.27.0 #8

Triggered via push January 24, 2026 13:24
@YaelDilliesYaelDillies
pushed 78ecfcd
master
Status Success
Total duration 11s
Artifacts –

lean-release-tag.yml

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