mutual recursion の例を追加する · lean-ja/lean-by-example@b851a90

Triggered via push January 3, 2026 00:40

Seasawher

main

Status Success

Total duration 3m 4s

Artifacts 1

deploy.yml

on: push

1 warning

New version for mdbook-admonish available: 1.20.0

Produced during runtime

Name	Size	Digest
github-pages Expired	1.84 MB	`sha256:5b830ffde878ba46c19991097f761f046732685b1fbf6e6be3cca1d2fc4ac57e`