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

Account for allocated heap memory which is unreachable from globals indentation #8594: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 5m 10s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 5m 10s
Account for allocated heap memory which is unreachable from globals coverage #784: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 21m 40s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 21m 40s
Account for allocated heap memory which is unreachable from globals locked #8937: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 27m 0s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 27m 0s
Account for allocated heap memory which is unreachable from globals options #6613: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 19s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 19s
Account for allocated heap memory which is unreachable from globals semgrep #8283: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:27 44s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:27 44s
Account for allocated heap memory which is unreachable from globals indentation #8593: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 5m 12s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 5m 12s
Account for allocated heap memory which is unreachable from globals locked #8936: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 31m 17s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 31m 17s
Account for allocated heap memory which is unreachable from globals coverage #783: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 14m 57s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 14m 57s
Account for allocated heap memory which is unreachable from globals options #6612: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 20s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 20s
Account for allocated heap memory which is unreachable from globals semgrep #8282: Pull request #1241 synchronize by mrstanb
November 18, 2023 14:23 40s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 18, 2023 14:23 40s
Improve multi-threaded valid-memcleanup indentation #8592: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 5m 2s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 5m 2s
Improve multi-threaded valid-memcleanup options #6611: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 20s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 20s
Improve multi-threaded valid-memcleanup locked #8935: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 37m 34s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 37m 34s
Improve multi-threaded valid-memcleanup semgrep #8281: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 43s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 43s
Improve multi-threaded valid-memcleanup coverage #782: Pull request #1246 synchronize by mrstanb
November 18, 2023 13:38 14m 27s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 18, 2023 13:38 14m 27s
Handle sqrt & Some Bodged Solution for computing through abs options #6610: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 5m 1s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 5m 1s
Handle sqrt & Some Bodged Solution for computing through abs semgrep #8280: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 5m 2s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 5m 2s
Handle sqrt & Some Bodged Solution for computing through abs indentation #8591: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 6m 53s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 6m 53s
Handle sqrt & Some Bodged Solution for computing through abs coverage #781: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 22m 13s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 22m 13s
Handle sqrt & Some Bodged Solution for computing through abs locked #8934: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 53m 31s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 53m 31s
39/07: Add NOWARN annotation options #6609: Commit 8ea9ffa pushed by michael-schwarz
November 18, 2023 11:51 22s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 22s
39/07: Add NOWARN annotation semgrep #8279: Commit 8ea9ffa pushed by michael-schwarz
November 18, 2023 11:51 48s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 48s
39/07: Add NOWARN annotation indentation #8590: Commit 8ea9ffa pushed by michael-schwarz
November 18, 2023 11:51 5m 46s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 5m 46s
39/07: Add NOWARN annotation locked #8933: Commit 8ea9ffa pushed by michael-schwarz
November 18, 2023 11:51 40m 0s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 40m 0s
Handle sqrt & Some Bodged Solution for computing through abs semgrep #8278: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 46s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 46s