Create Release

chore: bump mathlib to 4.19.0rc2 (#293) #12

Sign in to view logs

Triggered via push April 12, 2025 14:56

fpvandoorn

master

Status Success

Total duration 12s

Artifacts –

create-release.yml

on: push

⚡