Skip to content

Restore some files that were mistakenly deleted in 92e22cd878. #699

Restore some files that were mistakenly deleted in 92e22cd878.

Restore some files that were mistakenly deleted in 92e22cd878. #699

Triggered via push September 2, 2024 15:18
Status Success
Total duration 52s
Artifacts 1

deploy-site.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1010 KB