Merge pull request #1747 from goblint/weak-deps · goblint/analyzer@199e001

Triggered via push May 28, 2025 14:54

sim642

master

Status Success

Total duration 23m 20s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.89 MB	`sha256:63723737b1c17adc9b2bcda47a39e20b22d77010208b0ce9aecc59989b1cbb3c`
suite_result-ubuntu-22.04 Expired	2.87 MB	`sha256:3611534428c33e8766937d3a7405fffd8c392979118efd3828936d4d9d3d0dc7`