Skip to content

Republish release

Republish release #403

Manually triggered October 10, 2025 11:00
Status Success
Total duration 7m 7s
Artifacts 1

republish-release.yml

on: workflow_dispatch
Get release tag
10s
Get release tag
Announce release
6s
Announce release
Publish release
2s
Publish release
Publish site to `gh-pages`  /  Publish site to GitHub Pages
6m 25s
Publish site to `gh-pages` / Publish site to GitHub Pages
Fit to window
Zoom out
Zoom in

Deployment protection rules

Reviewers, timers, and other rules protecting deployments in this run
Event Environments Comment
FrederikBolding
approved Oct 10, 2025
publish

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
96 MB
sha256:c3162e55998fcb95e27aabc2a4c1720107649813abd863fc4f349b3d590e48ce