Replace rsync with shutil to avoid symlinks · Lean-zh/lean-docs-zh@6b30a44

Triggered via push June 22, 2025 13:54

hewzhew

lean4

Status Failure

Total duration 5m 4s

Artifacts 1

build.yml

on: push

1 error

Artifact could not be deployed. Please ensure the content does not contain any hard links, symlinks and total size is less than 10GB.

Produced during runtime

Name	Size	Digest
github-pages Expired	2.66 MB	`sha256:575e68f7e92bffdc44fa4dd7e6cc5a7e7c85d39c1d02a99697f679fc161c9a6f`