Check by default that all pure and ghost functions have termination measures · viperproject/gobra@5bfc4c8

Triggered via pull request January 12, 2024 10:36

jcp19

synchronize #718

Status Failure

Total duration 20m 4s

Artifacts 1

test.yml

on: pull_request

1 error and 1 warning

Process completed with exit code 1.

Java used up to 5.06282GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	402 KB