Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Data-race challenges extracted from benchmarks semgrep #7784: Pull request #1178 synchronize by sim642
September 21, 2023 07:55 45s race-challenges
race-challenges
September 21, 2023 07:55 45s
Data-race challenges extracted from benchmarks coverage #485: Pull request #1178 synchronize by sim642
September 21, 2023 07:55 13m 10s race-challenges
race-challenges
September 21, 2023 07:55 13m 10s
Data-race challenges extracted from benchmarks indentation #8094: Pull request #1178 synchronize by sim642
September 21, 2023 07:55 6m 3s race-challenges
race-challenges
September 21, 2023 07:55 6m 3s
Data-race challenges extracted from benchmarks locked #8379: Pull request #1178 synchronize by sim642
September 21, 2023 07:55 31m 43s race-challenges
race-challenges
September 21, 2023 07:55 31m 43s
Data-race challenges extracted from benchmarks options #6113: Pull request #1178 synchronize by sim642
September 21, 2023 07:55 26s race-challenges
race-challenges
September 21, 2023 07:55 26s
Use cond vars instead of busy loops in race challenges locked #8378: Commit e140813 pushed by sim642
September 21, 2023 07:55 30m 1s race-challenges
race-challenges
September 21, 2023 07:55 30m 1s
Use cond vars instead of busy loops in race challenges indentation #8093: Commit e140813 pushed by sim642
September 21, 2023 07:55 5m 56s race-challenges
race-challenges
September 21, 2023 07:55 5m 56s
Use cond vars instead of busy loops in race challenges options #6112: Commit e140813 pushed by sim642
September 21, 2023 07:55 24s race-challenges
race-challenges
September 21, 2023 07:55 24s
Use cond vars instead of busy loops in race challenges semgrep #7783: Commit e140813 pushed by sim642
September 21, 2023 07:55 52s race-challenges
race-challenges
September 21, 2023 07:55 52s
Support stack-allocating functions when allocating heap vars options #6111: Pull request #1179 synchronize by mrstanb
September 21, 2023 07:50 24s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 21, 2023 07:50 24s
Support stack-allocating functions when allocating heap vars coverage #484: Pull request #1179 synchronize by mrstanb
September 21, 2023 07:50 17m 30s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 21, 2023 07:50 17m 30s
Support stack-allocating functions when allocating heap vars locked #8377: Pull request #1179 synchronize by mrstanb
September 21, 2023 07:50 19m 38s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 21, 2023 07:50 19m 38s
Support stack-allocating functions when allocating heap vars semgrep #7782: Pull request #1179 synchronize by mrstanb
September 21, 2023 07:50 56s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 21, 2023 07:50 56s
Support stack-allocating functions when allocating heap vars indentation #8092: Pull request #1179 synchronize by mrstanb
September 21, 2023 07:50 6m 49s mrstanb:stack-allocating-functions-precision
mrstanb:stack-allocating-functions-precision
September 21, 2023 07:50 6m 49s
coverage coverage #483: Scheduled
September 21, 2023 02:03 35m 52s master
master
September 21, 2023 02:03 35m 52s
docker docker #739: Scheduled
September 21, 2023 02:01 42m 11s master
master
September 21, 2023 02:01 42m 11s
locked locked #8376: Scheduled
September 21, 2023 01:59 2h 30m 3s master
master
September 21, 2023 01:59 2h 30m 3s
unlocked unlocked #1537: Scheduled
September 21, 2023 01:59 2h 29m 23s master
master
September 21, 2023 01:59 2h 29m 23s
First steps towards a Proof-of-Concept for analyzing threadpools options #6110: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 22s threadpool_poc
threadpool_poc
September 20, 2023 17:40 22s
First steps towards a Proof-of-Concept for analyzing threadpools indentation #8091: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 3s threadpool_poc
threadpool_poc
September 20, 2023 17:40 3s
First steps towards a Proof-of-Concept for analyzing threadpools semgrep #7781: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 54s threadpool_poc
threadpool_poc
September 20, 2023 17:40 54s
First steps towards a Proof-of-Concept for analyzing threadpools coverage #482: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 24m 38s threadpool_poc
threadpool_poc
September 20, 2023 17:40 24m 38s
First steps towards a Proof-of-Concept for analyzing threadpools locked #8375: Pull request #1180 opened by michael-schwarz
September 20, 2023 17:40 52m 2s threadpool_poc
threadpool_poc
September 20, 2023 17:40 52m 2s
First steps locked #8374: Commit ec1efbf pushed by michael-schwarz
September 20, 2023 17:32 47m 24s threadpool_poc
threadpool_poc
September 20, 2023 17:32 47m 24s
First steps options #6109: Commit ec1efbf pushed by michael-schwarz
September 20, 2023 17:32 24s threadpool_poc
threadpool_poc
September 20, 2023 17:32 24s