Updates submodules · viperproject/gobra@08deddc

Triggered via push March 26, 2024 15:34

auto-update-submodules

Status Failure

Total duration 29m 44s

Artifacts 1

test.yml

on: push

2 errors and 1 warning

Z3 used up to 1.28452GB of RAM

Process completed with exit code 1.

Java used up to 4.71222GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	62 KB