Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
414 workflow run results
414 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #10041: Scheduled
February 17, 2024 01:58 59m 14s master
master
February 17, 2024 01:58 59m 14s
Merge pull request #1215 from goblint/improve-gobview-build locked #10040: Commit 29d9df1 pushed by stilscher
February 16, 2024 15:50 21m 45s master
master
February 16, 2024 15:50 21m 45s
Improve GobView build locked #10039: Pull request #1215 synchronize by stilscher
February 16, 2024 14:57 30m 29s improve-gobview-build
improve-gobview-build
February 16, 2024 14:57 30m 29s
fix wrong merge locked #10038: Commit bcbbcd8 pushed by stilscher
February 16, 2024 14:57 31m 19s improve-gobview-build
improve-gobview-build
February 16, 2024 14:57 31m 19s
Move all tests to dune runtest locked #10037: Pull request #1367 synchronize by sim642
February 16, 2024 14:39 21m 23s dune-runtest
dune-runtest
February 16, 2024 14:39 21m 23s
Add @runaprontest and @runcramtest aliases locked #10036: Commit 31a4acf pushed by sim642
February 16, 2024 14:39 18m 14s dune-runtest
dune-runtest
February 16, 2024 14:39 18m 14s
Improve GobView build locked #10035: Pull request #1215 synchronize by stilscher
February 16, 2024 14:32 18m 19s improve-gobview-build
improve-gobview-build
February 16, 2024 14:32 18m 19s
fix error message locked #10034: Commit 56655c1 pushed by stilscher
February 16, 2024 14:31 18m 17s improve-gobview-build
improve-gobview-build
February 16, 2024 14:31 18m 17s
Move all tests to dune runtest locked #10033: Pull request #1367 synchronize by sim642
February 16, 2024 14:13 22m 23s dune-runtest
dune-runtest
February 16, 2024 14:13 22m 23s
Disable LibraryFunctions.glibc_desc_list coverage locked #10032: Commit 1fc179d pushed by sim642
February 16, 2024 14:13 22m 44s dune-runtest
dune-runtest
February 16, 2024 14:13 22m 44s
Move all tests to dune runtest locked #10031: Pull request #1367 synchronize by sim642
February 16, 2024 14:08 16m 26s dune-runtest
dune-runtest
February 16, 2024 14:08 16m 26s
Run coverage tests with instrumentation in CI locked #10030: Commit 69671de pushed by sim642
February 16, 2024 14:08 22m 15s dune-runtest
dune-runtest
February 16, 2024 14:08 22m 15s
Move all tests to dune runtest locked #10029: Pull request #1367 synchronize by sim642
February 16, 2024 11:13 22m 7s dune-runtest
dune-runtest
February 16, 2024 11:13 22m 7s
Make suite_result creation in update_suite parallel-safe locked #10028: Commit 70e9879 pushed by sim642
February 16, 2024 11:13 19m 29s dune-runtest
dune-runtest
February 16, 2024 11:13 19m 29s
Move all tests to dune runtest locked #10027: Pull request #1367 opened by sim642
February 16, 2024 11:01 18m 42s dune-runtest
dune-runtest
February 16, 2024 11:01 18m 42s
Simplify CI jobs to just dune runtest (issue #1359) locked #10026: Commit 13e2a97 pushed by sim642
February 16, 2024 10:56 17m 55s dune-runtest
dune-runtest
February 16, 2024 10:56 17m 55s
Remove extra steps in make test (issue #1359) locked #10025: Commit 199bf5b pushed by sim642
February 16, 2024 10:29 27m 46s dune-runtest
dune-runtest
February 16, 2024 10:29 27m 46s
Remove unnecessary goblint binary dependency because goblint package … locked #10024: Commit 8af697f pushed by sim642
February 16, 2024 08:59 25m 0s dune-runtest
dune-runtest
February 16, 2024 08:59 25m 0s
locked locked #10023: Scheduled
February 16, 2024 01:59 1h 8m 42s master
master
February 16, 2024 01:59 1h 8m 42s
update submodule gobview locked #10022: Commit 037e1bc pushed by stilscher
February 15, 2024 18:42 22m 20s improve-gobview-build
improve-gobview-build
February 15, 2024 18:42 22m 20s
Improve GobView build locked #10021: Pull request #1215 synchronize by stilscher
February 15, 2024 18:42 20m 2s improve-gobview-build
improve-gobview-build
February 15, 2024 18:42 20m 2s
Remove commented-out code in RelationPriv.PerMutexMeetPriv.unlock locked #10020: Commit f8a666a pushed by sim642
February 15, 2024 14:31 20m 50s master
master
February 15, 2024 14:31 20m 50s
Merge pull request #1216 from goblint/priv-atomic locked #10019: Commit fec2876 pushed by sim642
February 15, 2024 14:14 34m 22s master
master
February 15, 2024 14:14 34m 22s
Merge branch 'cfg-test-pred' into fix-locations-pred locked #10018: Commit 1e134df pushed by sim642
February 15, 2024 14:00 26m 5s fix-locations-pred
fix-locations-pred
February 15, 2024 14:00 26m 5s
Fix a bit of indentation locked #10017: Commit 155dcbe pushed by sim642
February 15, 2024 11:50 29m 31s master
master
February 15, 2024 11:50 29m 31s