`Prop`のページの校正 · lean-ja/lean-by-example@95f31b6

Triggered via push February 15, 2025 15:19

Seasawher

main

Status Success

Total duration 2m 57s

Artifacts 1

deploy.yml

on: push

1 warning

Cache not found for keys: cargo-install-mdbook-admonish-1.18.0-92075051a207f06d56323f3c

Produced during runtime

Name	Size
github-pages Expired	3.02 MB