Back to pull request #262

chore: bump to latest Mathlib and v4.15.0-rc1 toolchain #13

Sign in to view logs

Triggered via pull request December 2, 2024 05:25

synchronize #262

kim-em:bump_to_v4.15.0-rc1

Status Success

Total duration 49m 36s

Artifacts –

blueprint.yml

on: pull_request