Disable array bounds checks for reachability · goblint/analyzer@3ef1233

Triggered via push May 8, 2026 07:36

sim642

reach-oob-checks

Status Success

Total duration 4m 46s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.52 MB	`sha256:df19bcf93fccaacaecbbf1a0595ff54de0b6adecd99424fc39215e9e1b0afe94`