Merge pull request #1607 from goblint/pthread_self #12029

Sign in to view logs

Re-run triggered October 30, 2024 19:01

sim642

master

Status Success

Total duration 7m 43s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression