Skip to content
Create Release

chore: bump mathlib (#375) #19

Sign in to view logs

chore: bump mathlib (#375)

chore: bump mathlib (#375) #19

Triggered via push June 8, 2025 21:59
@grunweggrunweg
pushed 6512b42
master
Status Success
Total duration 13s
Artifacts –

create-release.yml

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