Merge pull request #11 from leanprover/Upgrade #9

Triggered via push May 22, 2024 12:59

jtristan

main

Status Success

Total duration 24s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	59.4 KB