Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
33 workflow run results
33 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 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 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 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 CHANGELOG for v2.2.1 options #6025: Commit 166a9b6 pushed by sim642
September 13, 2023 12:20 23s master
master
September 13, 2023 12:20 23s
Remove -p in 70-transform/02-deadcode.t due to OSX options #6024: Commit 833d90d pushed by sim642
September 13, 2023 12:16 29s master
master
September 13, 2023 12:16 29s
Fix deprecated tail syntax in 70-transform/02-deadcode.t options #6023: Commit 1a731fd pushed by sim642
September 13, 2023 12:11 30s master
master
September 13, 2023 12:11 30s
Bump batteries lower bound to 3.5.0 options #6022: Commit 246c999 pushed by sim642
September 13, 2023 11:45 19s master
master
September 13, 2023 11:45 19s
Disable pins for v2.2.0 release options #6021: Commit b46aeda pushed by sim642
September 13, 2023 11:31 26s v2.2.0
v2.2.0
September 13, 2023 11:31 26s
Use AddressDomain for MayPointTo and ReachableFrom queries options #6020: Pull request #1142 synchronize by karoliineh
September 13, 2023 09:33 22s queries-ad
queries-ad
September 13, 2023 09:33 22s
D.remove instead of diffing singleton in memLeak options #6019: Commit f18d808 pushed by karoliineh
September 13, 2023 09:33 17s queries-ad
queries-ad
September 13, 2023 09:33 17s
Disable pins for v2.2.0 release options #6018: Commit b46aeda pushed by sim642
September 13, 2023 08:32 23s master
master
September 13, 2023 08:32 23s
Finalize v2.2.0 CHANGELOG options #6017: Commit 336c5ff pushed by sim642
September 13, 2023 08:27 24s master
master
September 13, 2023 08:27 24s
Merge pull request #1162 from goblint/ocaml-5-apron-compat options #6016: Commit 8f4a6a9 pushed by sim642
September 13, 2023 08:19 27s master
master
September 13, 2023 08:19 27s
Merge pull request #1161 from goblint/issue_1156 options #6015: Commit e58b952 pushed by sim642
September 13, 2023 08:18 25s master
master
September 13, 2023 08:18 25s
Update releasing documentation about Zenodo webhook options #6014: Commit 8440ff0 pushed by sim642
September 13, 2023 08:08 24s master
master
September 13, 2023 08:08 24s
Fix OCaml 5.0 Apron compatibility options #6013: Pull request #1162 synchronize by sim642
September 13, 2023 07:56 20s ocaml-5-apron-compat
ocaml-5-apron-compat
September 13, 2023 07:56 20s
Merge branch 'master' into ocaml-5-apron-compat options #6012: Commit 8be194d pushed by sim642
September 13, 2023 07:56 19s ocaml-5-apron-compat
ocaml-5-apron-compat
September 13, 2023 07:56 19s
Replace goblint-cil pin with published 2.0.2 options #6011: Commit bef3c54 pushed by sim642
September 13, 2023 07:43 28s master
master
September 13, 2023 07:43 28s
Merge pull request #1166 from goblint/dependabot/github_actions/docke… options #6010: Commit f7bb5e7 pushed by sim642
September 13, 2023 07:23 20s master
master
September 13, 2023 07:23 20s
Merge pull request #1165 from goblint/dependabot/github_actions/docke… options #6009: Commit 72b333c pushed by sim642
September 13, 2023 07:23 22s master
master
September 13, 2023 07:23 22s
Merge pull request #1164 from goblint/dependabot/github_actions/docke… options #6008: Commit b72a91c pushed by sim642
September 13, 2023 07:23 28s master
master
September 13, 2023 07:23 28s
Merge pull request #1163 from goblint/dependabot/github_actions/docke… options #6007: Commit a9562b9 pushed by sim642
September 13, 2023 07:22 23s master
master
September 13, 2023 07:22 23s
Bump docker/login-action from 2 to 3 options #6006: Pull request #1166 opened by dependabot bot
September 12, 2023 20:07 16m 22s dependabot/github_actions/docker/login-action-3
dependabot/github_actions/docker/login-action-3
September 12, 2023 20:07 16m 22s