Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert --version to normal stdout printing indentation #7750: Commit ea809cf pushed by sim642
August 1, 2023 09:55 3m 59s logs
logs
August 1, 2023 09:55 3m 59s
Revert --version to normal stdout printing options #5769: Commit ea809cf pushed by sim642
August 1, 2023 09:55 19s logs
logs
August 1, 2023 09:55 19s
Fix relational witness literature examples to also validate semgrep #7447: Commit c722f02 pushed by sim642
August 1, 2023 09:00 43s yaml-witness-unassume-bench-debug
yaml-witness-unassume-bench-debug
August 1, 2023 09:00 43s
Fix relational witness literature examples to also validate indentation #7749: Commit c722f02 pushed by sim642
August 1, 2023 09:00 4m 21s yaml-witness-unassume-bench-debug
yaml-witness-unassume-bench-debug
August 1, 2023 09:00 4m 21s
Fix relational witness literature examples to also validate options #5768: Commit c722f02 pushed by sim642
August 1, 2023 09:00 26s yaml-witness-unassume-bench-debug
yaml-witness-unassume-bench-debug
August 1, 2023 09:00 26s
Fix relational witness literature examples to also validate locked #7983: Commit c722f02 pushed by sim642
August 1, 2023 09:00 26m 15s yaml-witness-unassume-bench-debug
yaml-witness-unassume-bench-debug
August 1, 2023 09:00 26m 15s
coverage coverage #278: Scheduled
August 1, 2023 02:28 34m 28s master
master
August 1, 2023 02:28 34m 28s
docker docker #685: Scheduled
August 1, 2023 02:26 17m 8s master
master
August 1, 2023 02:26 17m 8s
locked locked #7982: Scheduled
August 1, 2023 02:24 2h 1m 19s master
master
August 1, 2023 02:24 2h 1m 19s
unlocked unlocked #1483: Scheduled
August 1, 2023 02:23 2h 18m 9s master
master
August 1, 2023 02:23 2h 18m 9s
Improve multi-threaded UAF analysis and add SVComp result generation semgrep #7446: Pull request #1123 opened by mrstanb
July 31, 2023 16:58 46s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
July 31, 2023 16:58 46s
Improve multi-threaded UAF analysis and add SVComp result generation options #5767: Pull request #1123 opened by mrstanb
July 31, 2023 16:58 22s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
July 31, 2023 16:58 22s
Improve multi-threaded UAF analysis and add SVComp result generation indentation #7748: Pull request #1123 opened by mrstanb
July 31, 2023 16:58 3s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
July 31, 2023 16:58 3s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #277: Pull request #1123 opened by mrstanb
July 31, 2023 16:58 14m 19s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
July 31, 2023 16:58 14m 19s
Improve multi-threaded UAF analysis and add SVComp result generation locked #7981: Pull request #1123 opened by mrstanb
July 31, 2023 16:58 30m 27s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
July 31, 2023 16:58 30m 27s
Merge pull request #1099 from mrstanb/handle-free-of-stack-mem locked #7980: Commit d85c72e pushed by michael-schwarz
July 31, 2023 07:59 33m 3s master
master
July 31, 2023 07:59 33m 3s
Merge pull request #1099 from mrstanb/handle-free-of-stack-mem indentation #7747: Commit d85c72e pushed by michael-schwarz
July 31, 2023 07:59 3m 45s master
master
July 31, 2023 07:59 3m 45s
Merge pull request #1099 from mrstanb/handle-free-of-stack-mem options #5766: Commit d85c72e pushed by michael-schwarz
July 31, 2023 07:59 26s master
master
July 31, 2023 07:59 26s
Merge pull request #1099 from mrstanb/handle-free-of-stack-mem semgrep #7445: Commit d85c72e pushed by michael-schwarz
July 31, 2023 07:59 45s master
master
July 31, 2023 07:59 45s
Merge pull request #1099 from mrstanb/handle-free-of-stack-mem docs #66: Commit d85c72e pushed by michael-schwarz
July 31, 2023 07:59 7m 52s master
master
July 31, 2023 07:59 7m 52s
coverage coverage #276: Scheduled
July 31, 2023 02:21 24m 43s master
master
July 31, 2023 02:21 24m 43s
docker docker #684: Scheduled
July 31, 2023 02:20 10m 58s master
master
July 31, 2023 02:20 10m 58s
locked locked #7979: Scheduled
July 31, 2023 02:13 2h 1m 41s master
master
July 31, 2023 02:13 2h 1m 41s
unlocked unlocked #1482: Scheduled
July 31, 2023 02:13 2h 14m 40s master
master
July 31, 2023 02:13 2h 14m 40s
Warn for {d,r}eallocation of non-dynamically allocated memory options #5765: Pull request #1099 synchronize by mrstanb
July 30, 2023 09:43 16s mrstanb:handle-free-of-stack-mem
mrstanb:handle-free-of-stack-mem
July 30, 2023 09:43 16s
ProTip! You can narrow down the results and go further in time using created:<2023-07-30 or the other filters available.