Create Release

chore: bump to latest Mathlib and v4.15.0-rc1 toolchain (#262) #12

Sign in to view logs

Triggered via push December 2, 2024 09:51

kbuzzard

main

Status Success

Total duration 18s

Artifacts –

create-release.yml

on: push