Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
739 workflow run results
739 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #1417: Scheduled
February 18, 2024 02:05 11m 26s master
master
February 18, 2024 02:05 11m 26s
coverage coverage #1416: Scheduled
February 17, 2024 02:02 13m 9s master
master
February 17, 2024 02:02 13m 9s
Improve GobView build coverage #1415: Pull request #1215 synchronize by stilscher
February 16, 2024 14:57 11m 3s improve-gobview-build
improve-gobview-build
February 16, 2024 14:57 11m 3s
Move all tests to dune runtest coverage #1414: Pull request #1367 synchronize by sim642
February 16, 2024 14:39 9m 36s dune-runtest
dune-runtest
February 16, 2024 14:39 9m 36s
Improve GobView build coverage #1413: Pull request #1215 synchronize by stilscher
February 16, 2024 14:32 9m 26s improve-gobview-build
improve-gobview-build
February 16, 2024 14:32 9m 26s
Move all tests to dune runtest coverage #1412: Pull request #1367 synchronize by sim642
February 16, 2024 14:13 9m 33s dune-runtest
dune-runtest
February 16, 2024 14:13 9m 33s
Move all tests to dune runtest coverage #1411: Pull request #1367 synchronize by sim642
February 16, 2024 14:08 9m 21s dune-runtest
dune-runtest
February 16, 2024 14:08 9m 21s
Move all tests to dune runtest coverage #1410: Pull request #1367 synchronize by sim642
February 16, 2024 11:13 9m 23s dune-runtest
dune-runtest
February 16, 2024 11:13 9m 23s
Move all tests to dune runtest coverage #1409: Pull request #1367 opened by sim642
February 16, 2024 11:01 8m 58s dune-runtest
dune-runtest
February 16, 2024 11:01 8m 58s
coverage coverage #1408: Scheduled
February 16, 2024 02:03 12m 18s master
master
February 16, 2024 02:03 12m 18s
Improve GobView build coverage #1407: Pull request #1215 synchronize by stilscher
February 15, 2024 18:42 9m 29s improve-gobview-build
improve-gobview-build
February 15, 2024 18:42 9m 29s
Add some hacky atomic privatizations coverage #1406: Pull request #1216 synchronize by sim642
February 15, 2024 11:39 11m 19s priv-atomic
priv-atomic
February 15, 2024 11:39 11m 19s
Add context_to_yojson in messages coverage #1405: Pull request #1365 opened by karoliineh
February 15, 2024 11:30 10m 55s contexts-in-server-requests
contexts-in-server-requests
February 15, 2024 11:30 10m 55s
Linear Two-Variable Equalities Analysis coverage #1404: Pull request #1297 synchronize by DrMichaelPetter
February 15, 2024 07:41 9m 1s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 15, 2024 07:41 9m 1s
coverage coverage #1403: Scheduled
February 15, 2024 02:03 14m 27s master
master
February 15, 2024 02:03 14m 27s
Small output readability improvements coverage #1402: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:55 11m 34s issue-1192
issue-1192
February 14, 2024 11:55 11m 34s
Small output readability improvements coverage #1401: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:39 10m 2s issue-1192
issue-1192
February 14, 2024 11:39 10m 2s
Small output readability improvements coverage #1400: Pull request #1312 synchronize by karoliineh
February 14, 2024 11:38 9m 33s issue-1192
issue-1192
February 14, 2024 11:38 9m 33s
Small output readability improvements coverage #1399: Pull request #1312 synchronize by karoliineh
February 14, 2024 10:15 9m 25s issue-1192
issue-1192
February 14, 2024 10:15 9m 25s
Add cram tests for CFGs coverage #1398: Pull request #1360 synchronize by sim642
February 14, 2024 08:28 10m 56s cfg-test
cfg-test
February 14, 2024 08:28 10m 56s
coverage coverage #1397: Scheduled
February 14, 2024 02:03 15m 0s master
master
February 14, 2024 02:03 15m 0s
Add cram tests for CFGs coverage #1396: Pull request #1360 synchronize by sim642
February 13, 2024 15:55 11m 7s cfg-test
cfg-test
February 13, 2024 15:55 11m 7s
Add cram tests for CFGs coverage #1395: Pull request #1360 synchronize by sim642
February 13, 2024 15:33 11m 31s cfg-test
cfg-test
February 13, 2024 15:33 11m 31s
Add cram tests for CFGs coverage #1394: Pull request #1360 synchronize by sim642
February 13, 2024 15:15 11m 13s cfg-test
cfg-test
February 13, 2024 15:15 11m 13s
Add cram tests for CFGs coverage #1393: Pull request #1360 synchronize by sim642
February 13, 2024 15:02 10m 53s cfg-test
cfg-test
February 13, 2024 15:02 10m 53s