Skip to content
test

Preserves the bounds annotation of guarded conditions and adds test c… #6845

Sign in to view logs

Preserves the bounds annotation of guarded conditions and adds test c…

Preserves the bounds annotation of guarded conditions and adds test c… #6845

Triggered via push August 17, 2026 07:04
@ArquintLArquintL
pushed c6691f0
claude/soundness-nil-check-ptr-to-array
Status Success
Total duration 20m 15s
Artifacts 3

test.yml

on: push
build-test-deploy-container
20m 11s
build-test-deploy-container
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
pidstat.txt
47 KB
sha256:8b71ee883b02dfb9a5fc7e16e4ece49c59e796d3573465dd386dacac7e132b4d
viperproject~gobra~6YEBF3.dockerbuild
38.6 KB
sha256:d128ae297fabca82ef8082a42dc6f7c3d886796291615b6d9b00ad95ad6bd169
viperproject~gobra~C8FBYF.dockerbuild
60.6 KB
sha256:f204c6b7574deaf74706f0d67cfe3a46a92abd60b83408f8a7c3a7c1988719ed