Update lean to 4.12.0-rc1 #33

Triggered via push September 25, 2024 15:39

ymherklotz

main

Status Success

Total duration 46s

Artifacts 1

pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	85.4 KB