Skip to content
Deploy to GitHub Pages

Replace files with spaces in name by removing ' copy.' #15

Sign in to view logs

Replace files with spaces in name by removing ' copy.'

Replace files with spaces in name by removing ' copy.' #15

Triggered via push June 22, 2025 17:35
@hewzhewhewzhew
pushed 619aecb
lean4
Status Success
Total duration 4m 53s
Artifacts 1

build.yml

on: push
Build Website
4m 35s
Build Website
Deploy to GitHub Pages
9s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.57 MB
sha256:9455998ede860b7dc3d434cf4b3d36263ebe65431c9674b97ed2d704f3f295bb