Merge branch 'master' into overflow-mod · goblint/analyzer@49f8bb8

Triggered via push February 4, 2026 09:03

sim642

overflow-mod

Status Success

Total duration 16m 51s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3.01 MB	`sha256:31eca10824e3985bcf60ddd98dfd4c61856c2230d71d1170f7ea739b292749f7`
suite_result-ubuntu-latest	3.04 MB	`sha256:d2c7b02dd4e2b39bcb7a28cd223b7e423d765ff50cd37c32743bec5253b04743`