Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,405 workflow run results
1,405 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve multi-threaded valid-memcleanup semgrep #8298: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 34s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 34s
Improve multi-threaded valid-memcleanup coverage #794: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 20m 10s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 20m 10s
Improve multi-threaded valid-memcleanup locked #8953: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 32m 10s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 32m 10s
Improve multi-threaded valid-memcleanup indentation #8609: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:49 3m 12s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:49 3m 12s
Improve multi-threaded valid-memcleanup coverage #793: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 17m 48s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 17m 48s
Improve multi-threaded valid-memcleanup options #6627: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 20s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 20s
Improve multi-threaded valid-memcleanup semgrep #8297: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 42s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 42s
Improve multi-threaded valid-memcleanup locked #8952: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 38m 54s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 38m 54s
Improve multi-threaded valid-memcleanup indentation #8608: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 17:15 4m 59s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 17:15 4m 59s
Merge pull request #1255 from goblint/autotune_termination_spec locked #8951: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 37m 39s master
master
November 19, 2023 17:01 37m 39s
Merge pull request #1255 from goblint/autotune_termination_spec docs #175: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 7m 55s master
master
November 19, 2023 17:01 7m 55s
Merge pull request #1255 from goblint/autotune_termination_spec options #6626: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 18s master
master
November 19, 2023 17:01 18s
Merge pull request #1255 from goblint/autotune_termination_spec semgrep #8296: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 39s master
master
November 19, 2023 17:01 39s
Merge pull request #1255 from goblint/autotune_termination_spec indentation #8607: Commit 1be498c pushed by jerhard
November 19, 2023 17:01 4m 56s master
master
November 19, 2023 17:01 4m 56s
Improve multi-threaded valid-memcleanup coverage #792: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 10m 11s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 10m 11s
Improve multi-threaded valid-memcleanup indentation #8606: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 6m 21s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 6m 21s
Improve multi-threaded valid-memcleanup locked #8950: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 24m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 24m 58s
Improve multi-threaded valid-memcleanup options #6625: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 17s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 17s
Improve multi-threaded valid-memcleanup semgrep #8295: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:41 43s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:41 43s
Account for allocated heap memory which is unreachable from globals semgrep #8294: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 44s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 44s
Account for allocated heap memory which is unreachable from globals options #6624: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 27s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 27s
Account for allocated heap memory which is unreachable from globals locked #8949: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 32m 11s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 32m 11s
Account for allocated heap memory which is unreachable from globals indentation #8605: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 5m 17s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 5m 17s
Account for allocated heap memory which is unreachable from globals coverage #791: Pull request #1241 synchronize by mrstanb
November 19, 2023 16:37 22m 30s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 19, 2023 16:37 22m 30s
Improve multi-threaded valid-memcleanup locked #8948: Pull request #1246 synchronize by michael-schwarz
November 19, 2023 16:36 23m 51s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 19, 2023 16:36 23m 51s