Skip to content

Merge pull request #1723 from integer32llc/rename-branch #4410

Merge pull request #1723 from integer32llc/rename-branch

Merge pull request #1723 from integer32llc/rename-branch #4410

Triggered via push October 23, 2025 07:03
Status Success
Total duration 1m 8s
Artifacts 1

main.yml

on: push
build
41s
build
Check publication date for placeholder
20s
Check publication date for placeholder
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
25.6 MB
sha256:9f270ce44f052feba1491d7d2d9b0ffa106a0c106541029f490247808b61dcd0