Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,659 workflow run results
5,659 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not invalidate special function lvals recursively semgrep #8369: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 45s base-special-lval
base-special-lval
November 21, 2023 20:15 45s
Do not invalidate special function lvals recursively options #6699: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 23s base-special-lval
base-special-lval
November 21, 2023 20:15 23s
Do not invalidate special function lvals recursively locked #9026: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 47m 38s base-special-lval
base-special-lval
November 21, 2023 20:15 47m 38s
Do not invalidate special function lvals recursively indentation #8680: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 3m 2s base-special-lval
base-special-lval
November 21, 2023 20:15 3m 2s
Do not invalidate special function lvals recursively coverage #830: Pull request #1264 synchronize by karoliineh
November 21, 2023 20:15 12m 56s base-special-lval
base-special-lval
November 21, 2023 20:15 12m 56s
Update cram tests options #6698: Commit 895bd9f pushed by karoliineh
November 21, 2023 20:15 20s base-special-lval
base-special-lval
November 21, 2023 20:15 20s
Update cram tests semgrep #8368: Commit 895bd9f pushed by karoliineh
November 21, 2023 20:15 42s base-special-lval
base-special-lval
November 21, 2023 20:15 42s
Update cram tests locked #9025: Commit 895bd9f pushed by karoliineh
November 21, 2023 20:15 30m 50s base-special-lval
base-special-lval
November 21, 2023 20:15 30m 50s
Update cram tests indentation #8679: Commit 895bd9f pushed by karoliineh
November 21, 2023 20:15 3m 2s base-special-lval
base-special-lval
November 21, 2023 20:15 3m 2s
Account for allocated heap memory which is unreachable from globals coverage #829: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 13m 4s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 13m 4s
Account for allocated heap memory which is unreachable from globals options #6697: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 16s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 16s
Account for allocated heap memory which is unreachable from globals locked #9024: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 45m 52s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 45m 52s
Account for allocated heap memory which is unreachable from globals semgrep #8367: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 46s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 46s
Account for allocated heap memory which is unreachable from globals indentation #8678: Pull request #1241 synchronize by mrstanb
November 21, 2023 20:04 2m 57s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 21, 2023 20:04 2m 57s
Do not invalidate special function lvals recursively indentation #8677: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 2s base-special-lval
base-special-lval
November 21, 2023 20:01 2s
Do not invalidate special function lvals recursively options #6696: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 23s base-special-lval
base-special-lval
November 21, 2023 20:01 23s
Do not invalidate special function lvals recursively semgrep #8366: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 43s base-special-lval
base-special-lval
November 21, 2023 20:01 43s
Do not invalidate special function lvals recursively coverage #828: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 16m 52s base-special-lval
base-special-lval
November 21, 2023 20:01 16m 52s
Do not invalidate special function lvals recursively locked #9023: Pull request #1264 opened by karoliineh
November 21, 2023 20:01 20m 56s base-special-lval
base-special-lval
November 21, 2023 20:01 20m 56s
Special function lval not invalidated recursively locked #9022: Commit 60923ea pushed by karoliineh
November 21, 2023 19:59 34m 33s base-special-lval
base-special-lval
November 21, 2023 19:59 34m 33s
Special function lval not invalidated recursively indentation #8676: Commit 60923ea pushed by karoliineh
November 21, 2023 19:59 2s base-special-lval
base-special-lval
November 21, 2023 19:59 2s
Special function lval not invalidated recursively options #6695: Commit 60923ea pushed by karoliineh
November 21, 2023 19:59 18s base-special-lval
base-special-lval
November 21, 2023 19:59 18s
Special function lval not invalidated recursively semgrep #8365: Commit 60923ea pushed by karoliineh
November 21, 2023 19:59 45s base-special-lval
base-special-lval
November 21, 2023 19:59 45s
Let tmpSpecial be activated on demand by autotuner. locked #9021: Commit 3c37ca4 pushed by jerhard
November 21, 2023 19:46 30m 4s benchmark_sv_comp
benchmark_sv_comp
November 21, 2023 19:46 30m 4s
Let tmpSpecial be activated on demand by autotuner. options #6694: Commit 3c37ca4 pushed by jerhard
November 21, 2023 19:46 22s benchmark_sv_comp
benchmark_sv_comp
November 21, 2023 19:46 22s