Merge branch 'master' into thesis-weakly-relational-pointer · goblint/analyzer@3ad5c05

Triggered via push February 18, 2025 10:16

jerhard

c2po

Status Success

Total duration 27m 2s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.8 MB	`sha256:451b7835d2d489cbcc9db2fdfaa3e9367df6b4ed0cdd96b2e7ef32478ff7042d`
suite_result-ubuntu-22.04 Expired	2.83 MB	`sha256:1710eab988edbae6e6158f69c1a58e936f49cc51bfefc099c20a61c77d703248`