Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modular analysis: Analyze created threads non-modularly. options #6915: Commit dc86b1b pushed by jerhard
December 11, 2023 10:48 18s modular_function_summaries
modular_function_summaries
December 11, 2023 10:48 18s
Remove debug printout. options #6914: Commit 8705369 pushed by jerhard
December 11, 2023 10:33 18s modular_function_summaries
modular_function_summaries
December 11, 2023 10:33 18s
Remove debug printout. locked #9261: Commit 8705369 pushed by jerhard
December 11, 2023 10:33 28m 42s modular_function_summaries
modular_function_summaries
December 11, 2023 10:33 28m 42s
Remove debug printout. indentation #8895: Commit 8705369 pushed by jerhard
December 11, 2023 10:33 3m 3s modular_function_summaries
modular_function_summaries
December 11, 2023 10:33 3m 3s
Remove debug printout. semgrep #8580: Commit 8705369 pushed by jerhard
December 11, 2023 10:33 46s modular_function_summaries
modular_function_summaries
December 11, 2023 10:33 46s
Remove unused rec flag. options #6913: Commit d139cee pushed by jerhard
December 11, 2023 10:27 20s modular_function_summaries
modular_function_summaries
December 11, 2023 10:27 20s
Remove unused rec flag. semgrep #8579: Commit d139cee pushed by jerhard
December 11, 2023 10:26 43s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 43s
Remove unused rec flag. indentation #8894: Commit d139cee pushed by jerhard
December 11, 2023 10:26 3m 18s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 3m 18s
Remove unused rec flag. locked #9260: Commit d139cee pushed by jerhard
December 11, 2023 10:26 39m 57s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 39m 57s
Add option ana.modular.auto-funs to automatically detect which functi… options #6912: Commit 15049dd pushed by jerhard
December 11, 2023 10:26 24s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 24s
Add option ana.modular.auto-funs to automatically detect which functi… locked #9259: Commit 15049dd pushed by jerhard
December 11, 2023 10:26 24m 15s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 24m 15s
Add option ana.modular.auto-funs to automatically detect which functi… semgrep #8578: Commit 15049dd pushed by jerhard
December 11, 2023 10:26 48s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 48s
Add option ana.modular.auto-funs to automatically detect which functi… indentation #8893: Commit 15049dd pushed by jerhard
December 11, 2023 10:26 3m 25s modular_function_summaries
modular_function_summaries
December 11, 2023 10:26 3m 25s
Null Byte Array Domain options #6911: Pull request #1076 synchronize by sim642
December 11, 2023 09:34 23s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
December 11, 2023 09:34 23s
Null Byte Array Domain semgrep #8577: Pull request #1076 synchronize by sim642
December 11, 2023 09:34 46s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
December 11, 2023 09:34 46s
Null Byte Array Domain indentation #8892: Pull request #1076 synchronize by sim642
December 11, 2023 09:34 2m 58s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
December 11, 2023 09:34 2m 58s
Null Byte Array Domain coverage #936: Pull request #1076 synchronize by sim642
December 11, 2023 09:34 12m 45s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
December 11, 2023 09:34 12m 45s
Null Byte Array Domain locked #9258: Pull request #1076 synchronize by sim642
December 11, 2023 09:34 23m 43s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
December 11, 2023 09:34 23m 43s
coverage coverage #935: Scheduled
December 11, 2023 02:11 26m 14s master
master
December 11, 2023 02:11 26m 14s
docker docker #823: Scheduled
December 11, 2023 02:09 12m 13s master
master
December 11, 2023 02:09 12m 13s
locked locked #9257: Scheduled
December 11, 2023 02:07 1h 55m 6s master
master
December 11, 2023 02:07 1h 55m 6s
unlocked unlocked #1620: Scheduled
December 11, 2023 02:06 2h 1m 31s master
master
December 11, 2023 02:06 2h 1m 31s
coverage coverage #934: Scheduled
December 10, 2023 02:17 16m 28s master
master
December 10, 2023 02:17 16m 28s
docker docker #822: Scheduled
December 10, 2023 02:11 11m 42s master
master
December 10, 2023 02:11 11m 42s
locked locked #9256: Scheduled
December 10, 2023 02:09 2h 0m 50s master
master
December 10, 2023 02:09 2h 0m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-12-10 or the other filters available.