Add refute statement #4676

Sign in to view logs

Triggered via push July 1, 2024 14:56

bruggerl

bruggerl/refute

Status Success

Total duration 22m 52s

Artifacts 1

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.90217GB of RAM

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

Z3 used up to 0.709484GB of RAM

Artifacts

Produced during runtime

Name	Size
pidstat.txt	46.4 KB