Narrowing of globals in TD · goblint/analyzer@bac638f

Triggered via pull request February 13, 2025 13:00

synchronize #1636

Status Success

Total duration 22m 35s

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:b62e303746f6c6cad1cbc787a284c6c6abaea28492c81c43971230cfb95385b0`
suite_result-ubuntu-22.04 Expired	2.81 MB	`sha256:49804a4c21aa712574693b1ca2b50ff5bd31581e9553ee50ca60104e41ae0f86`