Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,471 workflow run results
2,471 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix lock-digest test semgrep #8497: Commit 8e557ca pushed by sim642
November 30, 2023 13:06 47s lock-digest
lock-digest
November 30, 2023 13:06 47s
Fix lock-digest test options #6829: Commit 8e557ca pushed by sim642
November 30, 2023 13:06 22s lock-digest
lock-digest
November 30, 2023 13:06 22s
Fix lock-digest test locked #9165: Commit 8e557ca pushed by sim642
November 30, 2023 13:06 37m 42s lock-digest
lock-digest
November 30, 2023 13:06 37m 42s
Add going multithreaded to lock-digest test indentation #8809: Commit 3f8c5d3 pushed by sim642
November 30, 2023 13:04 3m 9s lock-digest
lock-digest
November 30, 2023 13:04 3m 9s
Add going multithreaded to lock-digest test semgrep #8496: Commit 3f8c5d3 pushed by sim642
November 30, 2023 13:04 40s lock-digest
lock-digest
November 30, 2023 13:04 40s
Add going multithreaded to lock-digest test options #6828: Commit 3f8c5d3 pushed by sim642
November 30, 2023 13:04 19s lock-digest
lock-digest
November 30, 2023 13:04 19s
Add going multithreaded to lock-digest test locked #9164: Commit 3f8c5d3 pushed by sim642
November 30, 2023 13:04 29m 20s lock-digest
lock-digest
November 30, 2023 13:04 29m 20s
Add lock-digest example from more-traces locked #9163: Commit 78a8484 pushed by sim642
November 30, 2023 13:01 29m 9s lock-digest
lock-digest
November 30, 2023 13:01 29m 9s
Add lock-digest example from more-traces options #6827: Commit 78a8484 pushed by sim642
November 30, 2023 13:01 27s lock-digest
lock-digest
November 30, 2023 13:01 27s
Add lock-digest example from more-traces indentation #8808: Commit 78a8484 pushed by sim642
November 30, 2023 13:01 3s lock-digest
lock-digest
November 30, 2023 13:01 3s
Add lock-digest example from more-traces semgrep #8495: Commit 78a8484 pushed by sim642
November 30, 2023 13:01 45s lock-digest
lock-digest
November 30, 2023 13:01 45s
Generalize mutex-meet-tid privatization to arbitrary digest locked #9162: Pull request #1278 synchronize by sim642
November 30, 2023 11:35 27m 59s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 27m 59s
Generalize mutex-meet-tid privatization to arbitrary digest semgrep #8494: Pull request #1278 synchronize by sim642
November 30, 2023 11:35 38s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 38s
Generalize mutex-meet-tid privatization to arbitrary digest indentation #8807: Pull request #1278 synchronize by sim642
November 30, 2023 11:35 3m 14s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 3m 14s
Generalize mutex-meet-tid privatization to arbitrary digest coverage #897: Pull request #1278 synchronize by sim642
November 30, 2023 11:35 19m 42s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 19m 42s
Generalize mutex-meet-tid privatization to arbitrary digest options #6826: Pull request #1278 synchronize by sim642
November 30, 2023 11:35 18s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 18s
Avoid MustJoinedThreads query in ThreadDigest if not needed locked #9161: Commit 05198f9 pushed by sim642
November 30, 2023 11:35 30m 56s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 30m 56s
Avoid MustJoinedThreads query in ThreadDigest if not needed semgrep #8493: Commit 05198f9 pushed by sim642
November 30, 2023 11:35 51s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 51s
Avoid MustJoinedThreads query in ThreadDigest if not needed indentation #8806: Commit 05198f9 pushed by sim642
November 30, 2023 11:35 3m 13s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 3m 13s
Avoid MustJoinedThreads query in ThreadDigest if not needed options #6825: Commit 05198f9 pushed by sim642
November 30, 2023 11:35 21s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:35 21s
Generalize mutex-meet-tid privatization to arbitrary digest indentation #8805: Pull request #1278 opened by sim642
November 30, 2023 11:05 2s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:05 2s
Generalize mutex-meet-tid privatization to arbitrary digest options #6824: Pull request #1278 opened by sim642
November 30, 2023 11:05 19s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:05 19s
Generalize mutex-meet-tid privatization to arbitrary digest coverage #896: Pull request #1278 opened by sim642
November 30, 2023 11:05 20m 39s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:05 20m 39s
Generalize mutex-meet-tid privatization to arbitrary digest semgrep #8492: Pull request #1278 opened by sim642
November 30, 2023 11:05 1m 4s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:05 1m 4s
Generalize mutex-meet-tid privatization to arbitrary digest locked #9160: Pull request #1278 opened by sim642
November 30, 2023 11:05 40m 46s mutex-meet-digest
mutex-meet-digest
November 30, 2023 11:05 40m 46s