Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
413 workflow run results
413 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Spawn threads created from unknown functions as non-unique locked #8405: Pull request #1187 opened by michael-schwarz
September 24, 2023 15:29 31m 15s issue_843
issue_843
September 24, 2023 15:29 31m 15s
Spawn threads created from unknown functions as non-unique semgrep #7807: Pull request #1187 opened by michael-schwarz
September 24, 2023 15:29 56s issue_843
issue_843
September 24, 2023 15:29 56s
Spawn non-unique threads semgrep #7806: Commit a325139 pushed by michael-schwarz
September 24, 2023 15:28 45s issue_843
issue_843
September 24, 2023 15:28 45s
Spawn non-unique threads locked #8404: Commit a325139 pushed by michael-schwarz
September 24, 2023 15:28 39m 36s issue_843
issue_843
September 24, 2023 15:28 39m 36s
Spawn non-unique threads options #6135: Commit a325139 pushed by michael-schwarz
September 24, 2023 15:28 21s issue_843
issue_843
September 24, 2023 15:28 21s
Spawn non-unique threads indentation #8116: Commit a325139 pushed by michael-schwarz
September 24, 2023 15:28 2s issue_843
issue_843
September 24, 2023 15:28 2s
No shortcut for narrow and meet in HConsed when int refinement is active options #6134: Pull request #1186 opened by michael-schwarz
September 24, 2023 12:31 25s issue_1005
issue_1005
September 24, 2023 12:31 25s
No shortcut for narrow and meet in HConsed when int refinement is active locked #8403: Pull request #1186 opened by michael-schwarz
September 24, 2023 12:31 35m 26s issue_1005
issue_1005
September 24, 2023 12:31 35m 26s
No shortcut for narrow and meet in HConsed when int refinement is active indentation #8115: Pull request #1186 opened by michael-schwarz
September 24, 2023 12:31 2s issue_1005
issue_1005
September 24, 2023 12:31 2s
No shortcut for narrow and meet in HConsed when int refinement is active coverage #501: Pull request #1186 opened by michael-schwarz
September 24, 2023 12:31 23m 18s issue_1005
issue_1005
September 24, 2023 12:31 23m 18s
No shortcut for narrow and meet in HConsed when int refinement is active semgrep #7805: Pull request #1186 opened by michael-schwarz
September 24, 2023 12:31 45s issue_1005
issue_1005
September 24, 2023 12:31 45s
Make comment a bit longer options #6133: Commit 2f691be pushed by michael-schwarz
September 24, 2023 12:23 23s issue_1005
issue_1005
September 24, 2023 12:23 23s
Make comment a bit longer semgrep #7804: Commit 2f691be pushed by michael-schwarz
September 24, 2023 12:23 58s issue_1005
issue_1005
September 24, 2023 12:23 58s
Make comment a bit longer indentation #8114: Commit 2f691be pushed by michael-schwarz
September 24, 2023 12:23 5m 46s issue_1005
issue_1005
September 24, 2023 12:23 5m 46s
Make comment a bit longer locked #8402: Commit 2f691be pushed by michael-schwarz
September 24, 2023 12:23 29m 47s issue_1005
issue_1005
September 24, 2023 12:23 29m 47s
No shortcut meet and narrow w/ int refinement options #6132: Commit 1116ef6 pushed by michael-schwarz
September 24, 2023 12:22 17s issue_1005
issue_1005
September 24, 2023 12:22 17s
No shortcut meet and narrow w/ int refinement semgrep #7803: Commit 1116ef6 pushed by michael-schwarz
September 24, 2023 12:22 46s issue_1005
issue_1005
September 24, 2023 12:22 46s
No shortcut meet and narrow w/ int refinement locked #8401: Commit 1116ef6 pushed by michael-schwarz
September 24, 2023 12:22 31m 55s issue_1005
issue_1005
September 24, 2023 12:22 31m 55s
No shortcut meet and narrow w/ int refinement indentation #8113: Commit 1116ef6 pushed by michael-schwarz
September 24, 2023 12:22 3s issue_1005
issue_1005
September 24, 2023 12:22 3s
Null Byte Array Domain options #6131: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:05 32s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:05 32s
Null Byte Array Domain coverage #500: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:05 13m 39s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:05 13m 39s
Null Byte Array Domain locked #8400: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:05 24m 57s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:05 24m 57s
Null Byte Array Domain indentation #8112: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:05 6m 23s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:05 6m 23s
Null Byte Array Domain semgrep #7802: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:05 47s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:05 47s
Null Byte Array Domain indentation #8111: Pull request #1076 synchronize by michael-schwarz
September 24, 2023 10:00 5m 52s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 24, 2023 10:00 5m 52s