also update docbuild to Lean v4.17.0-rc1 #883

Triggered via push February 6, 2025 20:37

m4lvin

main

Status Success

Total duration 13m 49s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	10.5 MB