Make assume impure (#779) #4722

Sign in to view logs

Re-run triggered August 5, 2024 09:44

jcp19

master

Status Success

Total duration 22m 50s

Artifacts 6

test.yml

on: push

build-test-deploy-container

Annotations

2 warnings

build-test-deploy-container: .github/workflows/test.yml#L1

Java used up to 4.79675GB of RAM

build-test-deploy-container: .github/workflows/test.yml#L1

Z3 used up to 0.653048GB of RAM

Artifacts

Produced during runtime

Name	Size
pidstat.txt	43.9 KB
viperproject~gobra~JCZFER.dockerbuild	47.1 KB
viperproject~gobra~S0CAHU.dockerbuild	97.9 KB
viperproject~gobra~ZOGV8I.dockerbuild	17.7 KB