z3 api and tests · viperproject/gobra@b39bf9e

Triggered via push December 5, 2023 10:51

Dspil

dspil_disable_nlir

Status Failure

Total duration 20m 29s

Artifacts 1

test.yml

on: push

1 error and 1 warning

Process completed with exit code 1.

Java used up to 5.10986GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	439 KB