first attempt in parallelizing intra package type-checking · viperproject/gobra@0b5bbbc

Triggered via push June 29, 2023 14:53

ArquintL

Status Failure

Total duration 24m 2s

Artifacts 1

test.yml

on: push

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
pidstat.txt Expired	401 KB