Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis locked #8344: Pull request #1176 opened by sim642
September 19, 2023 14:50 34m 50s race-null
race-null
September 19, 2023 14:50 34m 50s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis options #6080: Pull request #1176 opened by sim642
September 19, 2023 14:50 20s race-null
race-null
September 19, 2023 14:50 20s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis coverage #467: Pull request #1176 opened by sim642
September 19, 2023 14:50 19m 37s race-null
race-null
September 19, 2023 14:50 19m 37s
Fix NULL and unknown pointer handling in MayPointTo and ReachableFrom for race analysis semgrep #7751: Pull request #1176 opened by sim642
September 19, 2023 14:50 51s race-null
race-null
September 19, 2023 14:50 51s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… indentation #8060: Commit 204594e pushed by sim642
September 19, 2023 14:45 6m 9s race-null
race-null
September 19, 2023 14:45 6m 9s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… options #6079: Commit 204594e pushed by sim642
September 19, 2023 14:45 1m 35s race-null
race-null
September 19, 2023 14:45 1m 35s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… locked #8343: Commit 204594e pushed by sim642
September 19, 2023 14:45 47m 37s race-null
race-null
September 19, 2023 14:45 47m 37s
Fix ReachableFrom precision loss with int argument in 68-longjmp/41-p… semgrep #7750: Commit 204594e pushed by sim642
September 19, 2023 14:45 46s race-null
race-null
September 19, 2023 14:45 46s
fix: copying of files to GobView in projects with subdirectories semgrep #7600: Pull request #1143 opened by sallto
August 28, 2023 14:53 34s sallto:master
sallto:master
August 28, 2023 14:53 34s
fix: copying of files to GobView in projects with subdirectories indentation #7902: Pull request #1143 opened by sallto
August 28, 2023 14:53 4s sallto:master
sallto:master
August 28, 2023 14:53 4s
fix: copying of files to GobView in projects with subdirectories locked #8163: Pull request #1143 opened by sallto
August 28, 2023 14:53 37m 19s sallto:master
sallto:master
August 28, 2023 14:53 37m 19s
fix: copying of files to GobView in projects with subdirectories coverage #389: Pull request #1143 opened by sallto
August 28, 2023 14:53 22m 55s sallto:master
sallto:master
August 28, 2023 14:53 22m 55s
fix: copying of files to GobView in projects with subdirectories options #5921: Pull request #1143 opened by sallto
August 28, 2023 14:53 17s sallto:master
sallto:master
August 28, 2023 14:53 17s
ProTip! You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.