.github/workflows/lean-release-tag.yml

Bump mathlib to v4.24.0 #3

Sign in to view logs

Triggered via push October 14, 2025 11:32

YaelDillies

master

Status Success

Total duration 9s

Artifacts –

lean-release-tag.yml

on: push

Add Lean release tag