Do not unroll loops in goblint stub functions #9228

Sign in to view logs

Triggered via push September 28, 2024 20:58

karoliineh

loopUnroll-stubs

Status Success

Total duration 23s

Artifacts –

options.yml

on: push

Matrix: validate-conf