upgrade to Lean 4.17 (#563) #205

Triggered via push March 3, 2025 15:57

main

Status Success

Total duration 6m 9s

Artifacts 1

deploy_docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	5.45 MB