Narrowing of globals in TD · goblint/analyzer@670a3bf

Triggered via pull request February 13, 2025 13:05

synchronize #1636

Status Success

Total duration 21m 43s

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:748a35e86d85fef9634d4aa3090e8324f54593f49a1d9233703700f43ff1b6b4`
suite_result-ubuntu-22.04 Expired	2.81 MB	`sha256:1c4025fcdbbd3b6c53ce5eb7318dc34b99db922bb8b8df07a8bec276a791f91d`