Add basic threadAccess analysis · goblint/analyzer@a9c22ce

Triggered via push March 18, 2026 12:52

sim642

signal

Status Success

Total duration 13m 57s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3 MB	`sha256:b105cc670f3a78b7bed3acdfebe6234fed68f680135cdcbee4919ee91c4cb641`
suite_result-ubuntu-latest	3.04 MB	`sha256:3b8d78d995875721d21360f1cb72912bd88bb3168bbda273f41e7f9c4483313c`