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

Bump mathlib to v4.23.0 #2

Sign in to view logs

Triggered via push October 14, 2025 11:23

YaelDillies

master

Status Success

Total duration 9s

Artifacts –

lean-release-tag.yml

on: push

Add Lean release tag