Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
413 workflow run results
413 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update GobView for moved compute_cfg locked #9991: Commit d146e9b pushed by sim642
February 14, 2024 08:28 21m 48s cfg-test
cfg-test
February 14, 2024 08:28 21m 48s
locked locked #9990: Scheduled
February 14, 2024 01:59 1h 28m 46s master
master
February 14, 2024 01:59 1h 28m 46s
Use graph-guided algorithm for finding possibly modified params. locked #9989: Commit ac46db1 pushed by jerhard
February 13, 2024 17:19 20m 31s modular_function_summaries
modular_function_summaries
February 13, 2024 17:19 20m 31s
Indentation locked #9988: Commit cc689ce pushed by karoliineh
February 13, 2024 16:46 24m 21s issue-1192
issue-1192
February 13, 2024 16:46 24m 21s
Use dbg.full-output option in intDomain locked #9987: Commit 1148df3 pushed by karoliineh
February 13, 2024 16:40 25m 54s issue-1192
issue-1192
February 13, 2024 16:40 25m 54s
Add cram tests for CFGs locked #9986: Pull request #1360 synchronize by sim642
February 13, 2024 15:55 23m 28s cfg-test
cfg-test
February 13, 2024 15:55 23m 28s
Install graph-easy only on Ubuntu in CI locked #9985: Commit 15e8ca3 pushed by sim642
February 13, 2024 15:55 21m 38s cfg-test
cfg-test
February 13, 2024 15:55 21m 38s
Add cram tests for CFGs locked #9984: Pull request #1360 synchronize by sim642
February 13, 2024 15:33 9m 41s cfg-test
cfg-test
February 13, 2024 15:33 9m 41s
Install graph-easy manually in CI because nothing works locked #9983: Commit ae5b2cf pushed by sim642
February 13, 2024 15:33 9m 26s cfg-test
cfg-test
February 13, 2024 15:33 9m 26s
Add cram tests for CFGs locked #9982: Pull request #1360 synchronize by sim642
February 13, 2024 15:15 22m 15s cfg-test
cfg-test
February 13, 2024 15:15 22m 15s
Try to pin using with-test in CI via hack locked #9981: Commit 4b58d45 pushed by sim642
February 13, 2024 15:15 22m 54s cfg-test
cfg-test
February 13, 2024 15:15 22m 54s
Add cram tests for CFGs locked #9980: Pull request #1360 synchronize by sim642
February 13, 2024 15:02 25m 17s cfg-test
cfg-test
February 13, 2024 15:02 25m 17s
Try to pin using with-test in CI via opam-depext-flags locked #9979: Commit d48e85e pushed by sim642
February 13, 2024 15:02 22m 33s cfg-test
cfg-test
February 13, 2024 15:02 22m 33s
Add cram tests for CFGs locked #9978: Pull request #1360 synchronize by sim642
February 13, 2024 14:39 32m 15s cfg-test
cfg-test
February 13, 2024 14:39 32m 15s
Add enabled_if to CFG tests in 00-sanity as well locked #9977: Commit 4d86fd0 pushed by sim642
February 13, 2024 14:39 38m 22s cfg-test
cfg-test
February 13, 2024 14:39 38m 22s
Add cram tests for CFGs locked #9976: Pull request #1360 synchronize by sim642
February 13, 2024 14:32 34m 56s cfg-test
cfg-test
February 13, 2024 14:32 34m 56s
Try to pin using with-test in CI locked #9975: Commit de83ccc pushed by sim642
February 13, 2024 14:32 30m 24s cfg-test
cfg-test
February 13, 2024 14:32 30m 24s
Add cram tests for CFGs locked #9974: Pull request #1360 synchronize by sim642
February 13, 2024 14:28 21m 16s cfg-test
cfg-test
February 13, 2024 14:28 21m 16s
Add graph-easy Ubuntu depext locked #9973: Commit 65ae0f0 pushed by sim642
February 13, 2024 14:28 18m 17s cfg-test
cfg-test
February 13, 2024 14:28 18m 17s
Add cram tests for CFGs locked #9972: Pull request #1360 synchronize by sim642
February 13, 2024 14:22 27m 22s cfg-test
cfg-test
February 13, 2024 14:22 27m 22s
Update CIL for synthetic locations fix locked #9971: Commit b734f50 pushed by sim642
February 13, 2024 14:22 27m 2s cfg-test
cfg-test
February 13, 2024 14:22 27m 2s
Add AnsiColors to Goblint_lib locked #9970: Commit 7c545fc pushed by sim642
February 13, 2024 14:03 30m 1s master
master
February 13, 2024 14:03 30m 1s
Merge pull request #1117 from goblint/logs locked #9969: Commit 60c1030 pushed by sim642
February 13, 2024 13:51 30m 0s master
master
February 13, 2024 13:51 30m 0s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9968: Pull request #1330 synchronize by FungOliver
February 13, 2024 13:24 24m 59s FungOliver:relationalArray
FungOliver:relationalArray
February 13, 2024 13:24 24m 59s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9967: Pull request #1330 synchronize by FungOliver
February 13, 2024 13:04 29m 25s FungOliver:relationalArray
FungOliver:relationalArray
February 13, 2024 13:04 29m 25s