Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19,752 workflow runs
19,752 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unsound congruence domain arithmetic semgrep #10895: Pull request #1587 opened by sim642
October 1, 2024 09:09 51s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 09:09 51s
Unsound congruence domain arithmetic locked #11888: Pull request #1587 opened by sim642
October 1, 2024 09:09 22m 54s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 09:09 22m 54s
Unsound congruence domain arithmetic docs #1807: Pull request #1587 opened by sim642
October 1, 2024 09:09 4m 24s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 09:09 4m 24s
Unsound congruence domain arithmetic options #9246: Pull request #1587 opened by sim642
October 1, 2024 09:09 23s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 09:09 23s
Unsound congruence domain arithmetic coverage #2335: Pull request #1587 opened by sim642
October 1, 2024 09:09 9m 35s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 09:09 9m 35s
Unsound congruence domain arithmetic indentation #11227: Pull request #1587 opened by sim642
October 1, 2024 09:09 3s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 09:09 3s
Add reduced congruence both branches dead test semgrep #10894: Commit 36525a9 pushed by sim642
October 1, 2024 08:52 48s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 08:52 48s
Add reduced congruence both branches dead test locked #11887: Commit 36525a9 pushed by sim642
October 1, 2024 08:52 22m 37s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 08:52 22m 37s
Add reduced congruence both branches dead test docs #1806: Commit 36525a9 pushed by sim642
October 1, 2024 08:52 4m 53s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 08:52 4m 53s
Add reduced congruence both branches dead test indentation #11226: Commit 36525a9 pushed by sim642
October 1, 2024 08:52 3s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 08:52 3s
Add reduced congruence both branches dead test options #9245: Commit 36525a9 pushed by sim642
October 1, 2024 08:52 20s congruence-hardness-unsound-branches
congruence-hardness-unsound-branches
October 1, 2024 08:52 20s
coverage coverage #2334: Scheduled
October 1, 2024 02:48 12m 32s master
master
October 1, 2024 02:48 12m 32s
docker docker #1119: Scheduled
October 1, 2024 02:46 7m 50s master
master
October 1, 2024 02:46 7m 50s
locked locked #11886: Scheduled
October 1, 2024 02:42 1h 55m 13s master
master
October 1, 2024 02:42 1h 55m 13s
unlocked unlocked #1935: Scheduled
October 1, 2024 02:41 1h 54m 2s master
master
October 1, 2024 02:41 1h 54m 2s
Adjust loop unrolling defaults semgrep #10893: Pull request #1584 synchronize by karoliineh
September 30, 2024 14:22 56s loopUnroll-default
loopUnroll-default
September 30, 2024 14:22 56s
Adjust loop unrolling defaults coverage #2333: Pull request #1584 synchronize by karoliineh
September 30, 2024 14:22 11m 4s loopUnroll-default
loopUnroll-default
September 30, 2024 14:22 11m 4s
Adjust loop unrolling defaults indentation #11225: Pull request #1584 synchronize by karoliineh
September 30, 2024 14:22 2m 25s loopUnroll-default
loopUnroll-default
September 30, 2024 14:22 2m 25s
Adjust loop unrolling defaults options #9244: Pull request #1584 synchronize by karoliineh
September 30, 2024 14:22 29s loopUnroll-default
loopUnroll-default
September 30, 2024 14:22 29s
Adjust loop unrolling defaults docs #1805: Pull request #1584 synchronize by karoliineh
September 30, 2024 14:22 4m 28s loopUnroll-default
loopUnroll-default
September 30, 2024 14:22 4m 28s
Adjust loop unrolling defaults locked #11885: Pull request #1584 synchronize by karoliineh
September 30, 2024 14:22 31m 45s loopUnroll-default
loopUnroll-default
September 30, 2024 14:22 31m 45s
Do not turn on autotune loop unrolling when the only specification is… semgrep #10892: Commit 42c3f5a pushed by karoliineh
September 30, 2024 14:21 40s loopUnroll-default
loopUnroll-default
September 30, 2024 14:21 40s
Do not turn on autotune loop unrolling when the only specification is… options #9243: Commit 42c3f5a pushed by karoliineh
September 30, 2024 14:21 21s loopUnroll-default
loopUnroll-default
September 30, 2024 14:21 21s
Do not turn on autotune loop unrolling when the only specification is… docs #1804: Commit 42c3f5a pushed by karoliineh
September 30, 2024 14:21 5m 15s loopUnroll-default
loopUnroll-default
September 30, 2024 14:21 5m 15s
Do not turn on autotune loop unrolling when the only specification is… locked #11884: Commit 42c3f5a pushed by karoliineh
September 30, 2024 14:21 8m 12s loopUnroll-default
loopUnroll-default
September 30, 2024 14:21 8m 12s