Skip to content

Republish release

Republish release #406

Manually triggered October 14, 2025 13:18
Status Success
Total duration 7m 36s
Artifacts 1

republish-release.yml

on: workflow_dispatch
Get release tag
7s
Get release tag
Announce release
7s
Announce release
Publish release
3s
Publish release
Publish site to `gh-pages`  /  Publish site to GitHub Pages
6m 59s
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 14, 2025
publish

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
97.6 MB
sha256:0532aa247115ca2a571493f1141f0e8794905cf4e87eefcc2229510d06ff57b2