Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove outdated comment. semgrep #8240: Commit d9f3910 pushed by jerhard
November 16, 2023 17:04 43s termination_dev
termination_dev
November 16, 2023 17:04 43s
Remove outdated comment. options #6570: Commit d9f3910 pushed by jerhard
November 16, 2023 17:04 18s termination_dev
termination_dev
November 16, 2023 17:04 18s
Remove outdated comment. indentation #8551: Commit d9f3910 pushed by jerhard
November 16, 2023 17:04 5m 12s termination_dev
termination_dev
November 16, 2023 17:04 5m 12s
Remove outdated comment. locked #8892: Commit d9f3910 pushed by jerhard
November 16, 2023 17:04 45m 43s termination_dev
termination_dev
November 16, 2023 17:04 45m 43s
TUM Practical Course Summer 2023: Termination Analyses indentation #8550: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 5m 3s serenita:master
serenita:master
November 16, 2023 16:49 5m 3s
TUM Practical Course Summer 2023: Termination Analyses coverage #764: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 17m 52s serenita:master
serenita:master
November 16, 2023 16:49 17m 52s
TUM Practical Course Summer 2023: Termination Analyses locked #8891: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 29m 14s serenita:master
serenita:master
November 16, 2023 16:49 29m 14s
TUM Practical Course Summer 2023: Termination Analyses options #6569: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 15s serenita:master
serenita:master
November 16, 2023 16:49 15s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8239: Pull request #1093 synchronize by jerhard
November 16, 2023 16:49 59s serenita:master
serenita:master
November 16, 2023 16:49 59s
TUM Practical Course Summer 2023: Termination Analyses coverage #763: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 15m 27s serenita:master
serenita:master
November 16, 2023 16:48 15m 27s
TUM Practical Course Summer 2023: Termination Analyses options #6568: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 16s serenita:master
serenita:master
November 16, 2023 16:48 16s
TUM Practical Course Summer 2023: Termination Analyses indentation #8549: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 5m 5s serenita:master
serenita:master
November 16, 2023 16:48 5m 5s
TUM Practical Course Summer 2023: Termination Analyses locked #8890: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 34m 42s serenita:master
serenita:master
November 16, 2023 16:48 34m 42s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8238: Pull request #1093 synchronize by jerhard
November 16, 2023 16:48 44s serenita:master
serenita:master
November 16, 2023 16:48 44s
TUM Practical Course Summer 2023: Termination Analyses locked #8889: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 32m 35s serenita:master
serenita:master
November 16, 2023 16:45 32m 35s
TUM Practical Course Summer 2023: Termination Analyses indentation #8548: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 5m 28s serenita:master
serenita:master
November 16, 2023 16:45 5m 28s
TUM Practical Course Summer 2023: Termination Analyses coverage #762: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 17m 51s serenita:master
serenita:master
November 16, 2023 16:45 17m 51s
TUM Practical Course Summer 2023: Termination Analyses options #6567: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 17s serenita:master
serenita:master
November 16, 2023 16:45 17s
TUM Practical Course Summer 2023: Termination Analyses semgrep #8237: Pull request #1093 synchronize by jerhard
November 16, 2023 16:45 48s serenita:master
serenita:master
November 16, 2023 16:45 48s
Improve multi-threaded valid-memcleanup coverage #761: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 9m 58s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 9m 58s
Improve multi-threaded valid-memcleanup indentation #8547: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 2s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 2s
Improve multi-threaded valid-memcleanup options #6566: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 22s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 22s
Improve multi-threaded valid-memcleanup semgrep #8236: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 47s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 47s
Improve multi-threaded valid-memcleanup locked #8888: Pull request #1246 opened by mrstanb
November 16, 2023 06:56 25m 42s mrstanb:improve-multi-threaded-valid-memcleanup
mrstanb:improve-multi-threaded-valid-memcleanup
November 16, 2023 06:56 25m 42s
coverage coverage #760: Scheduled
November 16, 2023 02:10 30m 3s master
master
November 16, 2023 02:10 30m 3s