Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unlocked unlocked #1497: Scheduled
August 15, 2023 01:56 2h 9m 14s master
master
August 15, 2023 01:56 2h 9m 14s
Create warn_accs record and refactor semgrep #7521: Commit 59feaf8 pushed by karoliineh
August 14, 2023 15:05 1m 52s access-distr-outer
access-distr-outer
August 14, 2023 15:05 1m 52s
Create warn_accs record and refactor locked #8070: Commit 59feaf8 pushed by karoliineh
August 14, 2023 15:05 45m 52s access-distr-outer
access-distr-outer
August 14, 2023 15:05 45m 52s
Create warn_accs record and refactor options #5842: Commit 59feaf8 pushed by karoliineh
August 14, 2023 15:05 18s access-distr-outer
access-distr-outer
August 14, 2023 15:05 18s
Create warn_accs record and refactor indentation #7823: Commit 59feaf8 pushed by karoliineh
August 14, 2023 15:05 3m 54s access-distr-outer
access-distr-outer
August 14, 2023 15:05 3m 54s
Detect calls of thread-unsafe functions as races locked #8069: Pull request #1082 synchronize by karoliineh
August 14, 2023 11:38 35m 58s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 35m 58s
Detect calls of thread-unsafe functions as races indentation #7822: Pull request #1082 synchronize by karoliineh
August 14, 2023 11:38 3m 44s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 3m 44s
Detect calls of thread-unsafe functions as races coverage #335: Pull request #1082 synchronize by karoliineh
August 14, 2023 11:38 17m 31s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 17m 31s
Detect calls of thread-unsafe functions as races semgrep #7520: Pull request #1082 synchronize by karoliineh
August 14, 2023 11:38 50s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 50s
Detect calls of thread-unsafe functions as races options #5841: Pull request #1082 synchronize by karoliineh
August 14, 2023 11:38 27s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 27s
Rename tests to have unique numbers options #5840: Commit 8465e0b pushed by karoliineh
August 14, 2023 11:38 24s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 24s
Rename tests to have unique numbers semgrep #7519: Commit 8465e0b pushed by karoliineh
August 14, 2023 11:38 51s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 51s
Rename tests to have unique numbers indentation #7821: Commit 8465e0b pushed by karoliineh
August 14, 2023 11:38 3m 27s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 3m 27s
Rename tests to have unique numbers locked #8068: Commit 8465e0b pushed by karoliineh
August 14, 2023 11:38 33m 9s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 11:38 33m 9s
Make sem.unknown_function.call option indentation #7820: Commit e11c982 pushed by karoliineh
August 14, 2023 10:53 3m 40s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 3m 40s
Make sem.unknown_function.call option options #5839: Commit e11c982 pushed by karoliineh
August 14, 2023 10:53 24s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 24s
Make sem.unknown_function.call option semgrep #7518: Commit e11c982 pushed by karoliineh
August 14, 2023 10:53 44s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 44s
Make sem.unknown_function.call option locked #8067: Commit e11c982 pushed by karoliineh
August 14, 2023 10:53 15m 21s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 15m 21s
Detect calls of thread-unsafe functions as races semgrep #7517: Pull request #1082 synchronize by karoliineh
August 14, 2023 10:53 51s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 51s
Detect calls of thread-unsafe functions as races coverage #334: Pull request #1082 synchronize by karoliineh
August 14, 2023 10:53 8m 5s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 8m 5s
Detect calls of thread-unsafe functions as races indentation #7819: Pull request #1082 synchronize by karoliineh
August 14, 2023 10:53 3m 49s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 3m 49s
Detect calls of thread-unsafe functions as races locked #8066: Pull request #1082 synchronize by karoliineh
August 14, 2023 10:53 21m 54s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 21m 54s
Detect calls of thread-unsafe functions as races options #5838: Pull request #1082 synchronize by karoliineh
August 14, 2023 10:53 20s thread-unsafe-funs
thread-unsafe-funs
August 14, 2023 10:53 20s
Add local widen/narrow example from A²I paper semgrep #7516: Commit b1b710e pushed by sim642
August 14, 2023 07:57 50s master
master
August 14, 2023 07:57 50s
Add local widen/narrow example from A²I paper options #5837: Commit b1b710e pushed by sim642
August 14, 2023 07:57 21s master
master
August 14, 2023 07:57 21s