indentation

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

Sign in to view logs

Triggered via push February 17, 2025 16:29

jerhard

c2po

Status Success

Total duration 1m 32s

Artifacts –

indentation.yml

on: push

Matrix: indentation