Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,469 workflow run results
2,469 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More precise abstractions of trigonometric functions using c-stubs options #6813: Pull request #1277 opened by FelixKrayer
November 29, 2023 11:08 21s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 11:08 21s
More precise abstractions of trigonometric functions using c-stubs semgrep #8481: Pull request #1277 opened by FelixKrayer
November 29, 2023 11:08 46s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 11:08 46s
More precise abstractions of trigonometric functions using c-stubs locked #9148: Pull request #1277 opened by FelixKrayer
November 29, 2023 11:08 25m 39s FelixKrayer:math_funeval
FelixKrayer:math_funeval
November 29, 2023 11:08 25m 39s
Fix return type of function in test case. indentation #8793: Commit 0715d32 pushed by jerhard
November 29, 2023 10:16 2m 55s modular_function_summaries
modular_function_summaries
November 29, 2023 10:16 2m 55s
Fix return type of function in test case. options #6812: Commit 0715d32 pushed by jerhard
November 29, 2023 10:16 15s modular_function_summaries
modular_function_summaries
November 29, 2023 10:16 15s
Fix return type of function in test case. semgrep #8480: Commit 0715d32 pushed by jerhard
November 29, 2023 10:16 41s modular_function_summaries
modular_function_summaries
November 29, 2023 10:16 41s
Fix return type of function in test case. locked #9147: Commit 0715d32 pushed by jerhard
November 29, 2023 10:16 36m 45s modular_function_summaries
modular_function_summaries
November 29, 2023 10:16 36m 45s
Fix test case. indentation #8792: Commit 5a8ae91 pushed by jerhard
November 29, 2023 10:04 3m 4s modular_function_summaries
modular_function_summaries
November 29, 2023 10:04 3m 4s
Fix test case. locked #9146: Commit 5a8ae91 pushed by jerhard
November 29, 2023 10:04 25m 30s modular_function_summaries
modular_function_summaries
November 29, 2023 10:04 25m 30s
Fix test case. options #6811: Commit 5a8ae91 pushed by jerhard
November 29, 2023 10:04 19s modular_function_summaries
modular_function_summaries
November 29, 2023 10:04 19s
Fix test case. semgrep #8479: Commit 5a8ae91 pushed by jerhard
November 29, 2023 10:04 42s modular_function_summaries
modular_function_summaries
November 29, 2023 10:04 42s
Null Byte Array Domain locked #9145: Pull request #1076 synchronize by sim642
November 29, 2023 09:00 30m 18s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 09:00 30m 18s
Null Byte Array Domain coverage #890: Pull request #1076 synchronize by sim642
November 29, 2023 09:00 18m 23s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 09:00 18m 23s
Null Byte Array Domain indentation #8791: Pull request #1076 synchronize by sim642
November 29, 2023 09:00 3m 24s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 09:00 3m 24s
Null Byte Array Domain options #6810: Pull request #1076 synchronize by sim642
November 29, 2023 09:00 26s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 09:00 26s
Null Byte Array Domain semgrep #8478: Pull request #1076 synchronize by sim642
November 29, 2023 09:00 38s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 09:00 38s
Null Byte Array Domain locked #9144: Pull request #1076 synchronize by sim642
November 29, 2023 08:51 25m 38s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 08:51 25m 38s
Null Byte Array Domain coverage #889: Pull request #1076 synchronize by sim642
November 29, 2023 08:51 18m 56s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 08:51 18m 56s
Null Byte Array Domain indentation #8790: Pull request #1076 synchronize by sim642
November 29, 2023 08:51 2m 48s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 08:51 2m 48s
Null Byte Array Domain options #6809: Pull request #1076 synchronize by sim642
November 29, 2023 08:51 19s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 08:51 19s
Null Byte Array Domain semgrep #8477: Pull request #1076 synchronize by sim642
November 29, 2023 08:51 38s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 29, 2023 08:51 38s
Remove unit statement from MemLeak locked #9143: Commit 7fa7bfd pushed by sim642
November 29, 2023 08:27 33m 5s master
master
November 29, 2023 08:27 33m 5s
Remove unit statement from MemLeak docs #201: Commit 7fa7bfd pushed by sim642
November 29, 2023 08:27 5m 39s master
master
November 29, 2023 08:27 5m 39s
Remove unit statement from MemLeak options #6808: Commit 7fa7bfd pushed by sim642
November 29, 2023 08:27 24s master
master
November 29, 2023 08:27 24s
Remove unit statement from MemLeak semgrep #8476: Commit 7fa7bfd pushed by sim642
November 29, 2023 08:27 35s master
master
November 29, 2023 08:27 35s