Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add and fix library functions for Concrat benchmarks locked #8410: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 30m 3s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 30m 3s
Add and fix library functions for Concrat benchmarks semgrep #7811: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 50s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 50s
Add and fix library functions for Concrat benchmarks options #6140: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 25s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 25s
Add and fix library functions for Concrat benchmarks indentation #8121: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 6m 15s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 6m 15s
Add and fix library functions for Concrat benchmarks coverage #504: Pull request #1174 synchronize by sim642
September 25, 2023 08:01 15m 20s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 15m 20s
Add test for pthread locking function return values locked #8409: Commit 1947aae pushed by sim642
September 25, 2023 08:01 26m 52s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 26m 52s
Add test for pthread locking function return values semgrep #7810: Commit 1947aae pushed by sim642
September 25, 2023 08:01 45s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 45s
Add test for pthread locking function return values options #6139: Commit 1947aae pushed by sim642
September 25, 2023 08:01 18s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 18s
Add test for pthread locking function return values indentation #8120: Commit 1947aae pushed by sim642
September 25, 2023 08:01 6m 26s libfuns-concrat
libfuns-concrat
September 25, 2023 08:01 6m 26s
Add more categories to unsound/imprecise call messages options #6138: Commit 70f267b pushed by sim642
September 25, 2023 07:36 24s master
master
September 25, 2023 07:36 24s
Add more categories to unsound/imprecise call messages indentation #8119: Commit 70f267b pushed by sim642
September 25, 2023 07:36 6m 41s master
master
September 25, 2023 07:36 6m 41s
Add more categories to unsound/imprecise call messages locked #8408: Commit 70f267b pushed by sim642
September 25, 2023 07:36 34m 19s master
master
September 25, 2023 07:36 34m 19s
Add more categories to unsound/imprecise call messages semgrep #7809: Commit 70f267b pushed by sim642
September 25, 2023 07:36 59s master
master
September 25, 2023 07:36 59s
Add more categories to unsound/imprecise call messages docs #114: Commit 70f267b pushed by sim642
September 25, 2023 07:36 10m 3s master
master
September 25, 2023 07:36 10m 3s
Remove unused RegPart module locked #8407: Commit 8ad0161 pushed by karoliineh
September 25, 2023 07:26 39m 11s region-mallocfresh-try2
region-mallocfresh-try2
September 25, 2023 07:26 39m 11s
Remove unused RegPart module options #6137: Commit 8ad0161 pushed by karoliineh
September 25, 2023 07:26 22s region-mallocfresh-try2
region-mallocfresh-try2
September 25, 2023 07:26 22s
Remove unused RegPart module indentation #8118: Commit 8ad0161 pushed by karoliineh
September 25, 2023 07:26 6m 13s region-mallocfresh-try2
region-mallocfresh-try2
September 25, 2023 07:26 6m 13s
Remove unused RegPart module semgrep #7808: Commit 8ad0161 pushed by karoliineh
September 25, 2023 07:26 1m 4s region-mallocfresh-try2
region-mallocfresh-try2
September 25, 2023 07:26 1m 4s
coverage coverage #503: Scheduled
September 25, 2023 02:04 43m 6s master
master
September 25, 2023 02:04 43m 6s
docker docker #743: Scheduled
September 25, 2023 02:03 19m 21s master
master
September 25, 2023 02:03 19m 21s
locked locked #8406: Scheduled
September 25, 2023 02:01 2h 16m 46s master
master
September 25, 2023 02:01 2h 16m 46s
unlocked unlocked #1541: Scheduled
September 25, 2023 02:00 2h 23m 56s master
master
September 25, 2023 02:00 2h 23m 56s
Spawn threads created from unknown functions as non-unique options #6136: Pull request #1187 opened by michael-schwarz
September 24, 2023 15:29 17s issue_843
issue_843
September 24, 2023 15:29 17s
Spawn threads created from unknown functions as non-unique indentation #8117: Pull request #1187 opened by michael-schwarz
September 24, 2023 15:29 2s issue_843
issue_843
September 24, 2023 15:29 2s
Spawn threads created from unknown functions as non-unique coverage #502: Pull request #1187 opened by michael-schwarz
September 24, 2023 15:29 28m 9s issue_843
issue_843
September 24, 2023 15:29 28m 9s