Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused offsets from RegMap domain and eval_exp semgrep #7789: Commit ca994c8 pushed by karoliineh
September 22, 2023 11:37 45s region-mallocfresh-try2
region-mallocfresh-try2
September 22, 2023 11:37 45s
Remove unused offsets from RegMap domain and eval_exp locked #8385: Commit ca994c8 pushed by karoliineh
September 22, 2023 11:37 31m 19s region-mallocfresh-try2
region-mallocfresh-try2
September 22, 2023 11:37 31m 19s
Remove unused offsets from RegMap domain and eval_exp indentation #8099: Commit ca994c8 pushed by karoliineh
September 22, 2023 11:37 5m 50s region-mallocfresh-try2
region-mallocfresh-try2
September 22, 2023 11:37 5m 50s
Remove unused offsets from RegMap domain and eval_exp options #6118: Commit ca994c8 pushed by karoliineh
September 22, 2023 11:37 22s region-mallocfresh-try2
region-mallocfresh-try2
September 22, 2023 11:37 22s
coverage coverage #487: Scheduled
September 22, 2023 02:04 40m 23s master
master
September 22, 2023 02:04 40m 23s
docker docker #740: Scheduled
September 22, 2023 02:02 29m 52s master
master
September 22, 2023 02:02 29m 52s
locked locked #8384: Scheduled
September 22, 2023 02:00 2h 17m 58s master
master
September 22, 2023 02:00 2h 17m 58s
unlocked unlocked #1538: Scheduled
September 22, 2023 01:59 2h 29m 1s master
master
September 22, 2023 01:59 2h 29m 1s
Simplify related_globals options #6117: Commit 1435944 pushed by karoliineh
September 21, 2023 13:00 20s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 13:00 20s
Simplify related_globals semgrep #7788: Commit 1435944 pushed by karoliineh
September 21, 2023 13:00 51s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 13:00 51s
Simplify related_globals locked #8383: Commit 1435944 pushed by karoliineh
September 21, 2023 13:00 33m 47s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 13:00 33m 47s
Simplify related_globals indentation #8098: Commit 1435944 pushed by karoliineh
September 21, 2023 13:00 6m 5s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 13:00 6m 5s
Restore access Mamory case in regionNonEscape indentation #8097: Commit dc13b86 pushed by karoliineh
September 21, 2023 12:43 4m 43s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 12:43 4m 43s
Restore access Mamory case in regionNonEscape semgrep #7787: Commit dc13b86 pushed by karoliineh
September 21, 2023 12:43 50s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 12:43 50s
Restore access Mamory case in regionNonEscape options #6116: Commit dc13b86 pushed by karoliineh
September 21, 2023 12:43 28s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 12:43 28s
Restore access Mamory case in regionNonEscape locked #8382: Commit dc13b86 pushed by karoliineh
September 21, 2023 12:43 29m 12s region-mallocfresh-try2
region-mallocfresh-try2
September 21, 2023 12:43 29m 12s
Data-race challenges extracted from benchmarks semgrep #7786: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 52s race-challenges
race-challenges
September 21, 2023 10:43 52s
Data-race challenges extracted from benchmarks indentation #8096: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 7m 48s race-challenges
race-challenges
September 21, 2023 10:43 7m 48s
Data-race challenges extracted from benchmarks coverage #486: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 15m 41s race-challenges
race-challenges
September 21, 2023 10:43 15m 41s
Data-race challenges extracted from benchmarks options #6115: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 37s race-challenges
race-challenges
September 21, 2023 10:43 37s
Data-race challenges extracted from benchmarks locked #8381: Pull request #1178 synchronize by sim642
September 21, 2023 10:43 21m 43s race-challenges
race-challenges
September 21, 2023 10:43 21m 43s
Extract symbolic-thread-struct-tid from chrony semgrep #7785: Commit f1b7070 pushed by sim642
September 21, 2023 10:43 1m 0s race-challenges
race-challenges
September 21, 2023 10:43 1m 0s
Extract symbolic-thread-struct-tid from chrony options #6114: Commit f1b7070 pushed by sim642
September 21, 2023 10:43 25s race-challenges
race-challenges
September 21, 2023 10:43 25s
Extract symbolic-thread-struct-tid from chrony indentation #8095: Commit f1b7070 pushed by sim642
September 21, 2023 10:43 6m 10s race-challenges
race-challenges
September 21, 2023 10:43 6m 10s
Extract symbolic-thread-struct-tid from chrony locked #8380: Commit f1b7070 pushed by sim642
September 21, 2023 10:43 25m 16s race-challenges
race-challenges
September 21, 2023 10:43 25m 16s