semgrep

Bump goblint-cil (c.f. https://github.com/goblint/cil/pull/184) #12390

Sign in to view logs

Triggered via pull request July 10, 2025 11:11

michael-schwarz

opened #1780

bump_goblint_cil_184

Status Success

Total duration 38s

Artifacts –

semgrep.yml

on: pull_request