Skip to content
DH & WireGuard Protocol Model Verification

Bump the all group with 4 updates (#2) #15

Sign in to view logs

Bump the all group with 4 updates (#2)

Bump the all group with 4 updates (#2) #15

Triggered via push September 21, 2025 14:42
@ArquintLArquintL
pushed 9993851
main
Status Success
Total duration 4m 58s
Artifacts 2

model.yml

on: push
build-verify
4m 55s
build-verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
viperproject~protocol-verification-refinement~0EQ44N.dockerbuild Expired
28.2 KB
sha256:d892a1b4431d6d011206f44b3b4d44c6f27a3fcf4a6a0b86136cfd055d150c70
viperproject~protocol-verification-refinement~ORTIVE.dockerbuild Expired
25.2 KB
sha256:50b502d08d2303f61aac53a23a9a4f0f54e49085b473559f31f0c76d768972d4