chore: upgrade to Lean v4.27.0-rc1 · arademaker/fad@ac40e4f

Triggered via push December 17, 2025 13:23

arademaker

main

Status Success

Total duration 13m 48s

Artifacts 1

docs.yaml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	13.2 MB	`sha256:46ddcf7a54707c00ad3c7bb175b398ff0ef89a5f0b8da6905c07ca2791aeffc2`