Skip to content
WireGuard Code Verification

fixes permissions for pushing docker image #13

Sign in to view logs

fixes permissions for pushing docker image

fixes permissions for pushing docker image #13

Triggered via push September 21, 2025 14:00
@ArquintLArquintL
pushed e4510bd
dependabot/github_actions/all-61f110a48e
Status Success
Total duration 3m 46s
Artifacts 2

wireguard-code.yml

on: push
build-verify
3m 42s
build-verify
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
viperproject~protocol-verification-refinement~FPV7IS.dockerbuild Expired
62.9 KB
sha256:841a44b8197476c0de6026f69cd026924e6ca247a0b68fbb2d4187d1735814b6
viperproject~protocol-verification-refinement~NIZ2EV.dockerbuild Expired
38.7 KB
sha256:3e659e4a25f677c92b310bc24b7a3debe28e970c72862344df9bd622a3230128