Skip to content

Fix comment added to the wrong version #627

Fix comment added to the wrong version

Fix comment added to the wrong version #627

Triggered via push October 24, 2025 09:43
Status Success
Total duration 1m 4s
Artifacts 1

proof.yaml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
683 KB
sha256:0ef992a8b084d949268194628dd43c94d657158e14de80656b1eaf3e6d51fb40