adds support for ghost named types and ghost type alias · viperproject/gobra@86ea6dc

Triggered via push June 24, 2024 13:05

ArquintL

ghost-types

Status Cancelled

Total duration 24m 27s

Artifacts 1

test.yml

on: push

4 errors and 1 warning

The run was canceled by @ArquintL.

Z3 used up to 11.5079GB of RAM

Process completed with exit code 1.

The operation was canceled.

Java used up to 4.80891GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	43.8 KB