Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Complete TODOs in nullpointer.dereference.refine test locked #8288: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 33m 33s warn-once
warn-once
September 13, 2023 18:41 33m 33s
Complete TODOs in nullpointer.dereference.refine test semgrep #7701: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 58s warn-once
warn-once
September 13, 2023 18:41 58s
Complete TODOs in nullpointer.dereference.refine test indentation #8011: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 7m 10s warn-once
warn-once
September 13, 2023 18:41 7m 10s
Complete TODOs in nullpointer.dereference.refine test options #6030: Commit a172e3b pushed by karoliineh
September 13, 2023 18:41 26s warn-once
warn-once
September 13, 2023 18:41 26s
Ignore info messages for test case 77/05 due to MacOS CI locked #8287: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 30m 18s staging_memsafety
staging_memsafety
September 13, 2023 15:16 30m 18s
Ignore info messages for test case 77/05 due to MacOS CI semgrep #7700: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 57s staging_memsafety
staging_memsafety
September 13, 2023 15:16 57s
Ignore info messages for test case 77/05 due to MacOS CI indentation #8010: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 6m 43s staging_memsafety
staging_memsafety
September 13, 2023 15:16 6m 43s
Ignore info messages for test case 77/05 due to MacOS CI options #6029: Commit 20433e3 pushed by mrstanb
September 13, 2023 15:16 24s staging_memsafety
staging_memsafety
September 13, 2023 15:16 24s
Add CHANGELOG for v2.2.1 indentation #8009: Commit 166a9b6 pushed by sim642
September 13, 2023 14:03 3s v2.2.1
v2.2.1
September 13, 2023 14:03 3s
Add CHANGELOG for v2.2.1 options #6028: Commit 166a9b6 pushed by sim642
September 13, 2023 14:03 35s v2.2.1
v2.2.1
September 13, 2023 14:03 35s
Add CHANGELOG for v2.2.1 metadata #560: Commit 166a9b6 pushed by sim642
September 13, 2023 14:03 27s v2.2.1
v2.2.1
September 13, 2023 14:03 27s
Add CHANGELOG for v2.2.1 locked #8286: Commit 166a9b6 pushed by sim642
September 13, 2023 14:03 40m 45s v2.2.1
v2.2.1
September 13, 2023 14:03 40m 45s
Add CHANGELOG for v2.2.1 docker #731: Commit 166a9b6 pushed by sim642
September 13, 2023 14:03 17m 7s v2.2.1
v2.2.1
September 13, 2023 14:03 17m 7s
Add test for nullpointer.dereference.refine locked #8285: Commit d54c31d pushed by karoliineh
September 13, 2023 13:56 42m 38s warn-once
warn-once
September 13, 2023 13:56 42m 38s
Add test for nullpointer.dereference.refine options #6027: Commit d54c31d pushed by karoliineh
September 13, 2023 13:56 24s warn-once
warn-once
September 13, 2023 13:56 24s
Add test for nullpointer.dereference.refine semgrep #7699: Commit d54c31d pushed by karoliineh
September 13, 2023 13:56 55s warn-once
warn-once
September 13, 2023 13:56 55s
Add test for nullpointer.dereference.refine indentation #8008: Commit d54c31d pushed by karoliineh
September 13, 2023 13:56 2s warn-once
warn-once
September 13, 2023 13:56 2s
Add exception handling for intdom arithmetic in memOutOfBounds indentation #8007: Commit 15f782b pushed by mrstanb
September 13, 2023 13:26 7m 23s staging_memsafety
staging_memsafety
September 13, 2023 13:26 7m 23s
Add exception handling for intdom arithmetic in memOutOfBounds options #6026: Commit 15f782b pushed by mrstanb
September 13, 2023 13:26 26s staging_memsafety
staging_memsafety
September 13, 2023 13:26 26s
Add exception handling for intdom arithmetic in memOutOfBounds semgrep #7698: Commit 15f782b pushed by mrstanb
September 13, 2023 13:26 44s staging_memsafety
staging_memsafety
September 13, 2023 13:26 44s
Add exception handling for intdom arithmetic in memOutOfBounds locked #8284: Commit 15f782b pushed by mrstanb
September 13, 2023 13:26 29m 59s staging_memsafety
staging_memsafety
September 13, 2023 13:26 29m 59s
Add CHANGELOG for v2.2.1 semgrep #7697: Commit 166a9b6 pushed by sim642
September 13, 2023 12:20 1m 29s master
master
September 13, 2023 12:20 1m 29s
Add CHANGELOG for v2.2.1 locked #8283: Commit 166a9b6 pushed by sim642
September 13, 2023 12:20 39m 54s master
master
September 13, 2023 12:20 39m 54s
Add CHANGELOG for v2.2.1 indentation #8006: Commit 166a9b6 pushed by sim642
September 13, 2023 12:20 6m 12s master
master
September 13, 2023 12:20 6m 12s
Add CHANGELOG for v2.2.1 docs #104: Commit 166a9b6 pushed by sim642
September 13, 2023 12:20 11m 8s master
master
September 13, 2023 12:20 11m 8s