Exclude multithreaded main-main races by threadflag · goblint/analyzer@30e5ef1

Triggered via push October 2, 2024 14:57

sim642

threadflag-access

Status Success

Total duration 5m 21s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size
github-pages Expired	2.07 MB