Api -> API · viperproject/gobra@8844584

Triggered via push July 28, 2023 11:15

Dspil

z3_api_flag

Status Failure

Total duration 2h 11m 54s

Artifacts 1

test.yml

on: push

3 errors

Z3 used up to 6.16484GB of RAM

Process completed with exit code 1.

Process completed with exit code 1.

Produced during runtime

Name	Size
pidstat.txt Expired	3.73 MB