Rename files, should now be done with the rename #18

Triggered via push October 23, 2024 13:25

main

Status Success

Total duration 37s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	17.2 KB