Skip to content

Update UI to reflect new distinction between safe/maybe/unsafe format… #878

Update UI to reflect new distinction between safe/maybe/unsafe format…

Update UI to reflect new distinction between safe/maybe/unsafe format… #878

Triggered via push October 28, 2025 16:22
Status Success
Total duration 37s
Artifacts 1

pages.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
390 KB
sha256:db522211feb73bf41c9bcf699d9f8df9f1fb34a0b3d6cc709bbcb2b4d56c2dc6