Narrowing of globals in TD · goblint/analyzer@f49e806

Triggered via pull request February 13, 2025 12:30

synchronize #1636

Status Success

Total duration 21m 58s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.82 MB	`sha256:262f21048326f3f91eb70224e47665b0ddd53a0cc6dc715acf159cefcf6697da`
suite_result-ubuntu-22.04 Expired	2.81 MB	`sha256:40a01e8d4e4ce089d788fb9451a247bc4ef14f66e141c081932bce42fd863373`