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

Bump mathlib #4

Sign in to view logs

Bump mathlib

Bump mathlib #4

Triggered via push November 16, 2025 14:28
@YaelDilliesYaelDillies
pushed 34a573b
master
Status Success
Total duration 7s
Artifacts –

lean-release-tag.yml

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