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

Triggered via pull request January 11, 2024 20:40

jcp19

opened #718

Status Failure

Total duration 10m 29s

Artifacts 1

test.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
pidstat.txt Expired	45.3 KB