options

C2PO: Fix test case to incur no warnings, besides for __goblint_check. #10058

Sign in to view logs

Triggered via push February 17, 2025 16:29

jerhard

c2po

Status Success

Total duration 22s

Artifacts –

options.yml

on: push

Matrix: validate-conf