Disable OOB checks during reachability calculations · goblint/analyzer@3ef1233

Triggered via pull request May 8, 2026 07:36

sim642

synchronize #2022

reach-oob-checks

Status Success

Total duration 4m 37s

Artifacts 1

docs.yml

on: pull_request

Matrix: api-build

Produced during runtime

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