Skip to content

Republish release

Republish release #404

Manually triggered October 10, 2025 13:26
Status Success
Total duration 8m 17s
Artifacts 1

republish-release.yml

on: workflow_dispatch
Get release tag
8s
Get release tag
Announce release
8s
Announce release
Publish release
2s
Publish release
Publish site to `gh-pages`  /  Publish site to GitHub Pages
6m 34s
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
95.7 MB
sha256:b0ad857e1a0bbd2c29c58b976c22c3259085705f20f0fab840fdc49356abb974