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

Triggered via pull request January 12, 2024 13:07

jcp19

synchronize #718

Status Failure

Total duration 20m 28s

Artifacts 1

test.yml

on: pull_request

1 error and 1 warning

Process completed with exit code 1.

Java used up to 5.09709GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	413 KB