Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,714 workflow run results
1,714 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #2248: Scheduled
August 22, 2024 02:27 14m 27s master
master
August 22, 2024 02:27 14m 27s
coverage coverage #2247: Scheduled
August 21, 2024 02:25 9m 34s master
master
August 21, 2024 02:25 9m 34s
Improve history thread ID may_create coverage #2246: Pull request #1561 synchronize by sim642
August 20, 2024 12:18 9m 53s threadid-history-may_create
threadid-history-may_create
August 20, 2024 12:18 9m 53s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables coverage #2245: Pull request #1394 synchronize by sim642
August 20, 2024 12:02 10m 10s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 12:02 10m 10s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables coverage #2244: Pull request #1394 synchronize by sim642
August 20, 2024 09:56 10m 0s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 09:56 10m 0s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables coverage #2243: Pull request #1394 synchronize by sim642
August 20, 2024 09:28 9m 43s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 09:28 9m 43s
coverage coverage #2242: Scheduled
August 20, 2024 02:25 9m 30s master
master
August 20, 2024 02:25 9m 30s
coverage coverage #2241: Scheduled
August 19, 2024 02:27 14m 38s master
master
August 19, 2024 02:27 14m 38s
coverage coverage #2240: Scheduled
August 18, 2024 02:27 14m 50s master
master
August 18, 2024 02:27 14m 50s
coverage coverage #2239: Scheduled
August 17, 2024 02:21 9m 57s master
master
August 17, 2024 02:21 9m 57s
Fix base must-writing all invalidated variables coverage #2238: Pull request #1562 opened by sim642
August 16, 2024 12:51 10m 22s base-invalidate-may
base-invalidate-may
August 16, 2024 12:51 10m 22s
Refactor writing to pointers coverage #2237: Pull request #1531 synchronize by karoliineh
August 16, 2024 11:31 9m 53s base_set_fold
base_set_fold
August 16, 2024 11:31 9m 53s
coverage coverage #2236: Scheduled
August 16, 2024 02:25 9m 25s master
master
August 16, 2024 02:25 9m 25s
Improve history thread ID may_create coverage #2235: Pull request #1561 synchronize by sim642
August 15, 2024 12:54 9m 40s threadid-history-may_create
threadid-history-may_create
August 15, 2024 12:54 9m 40s
Improve history thread ID may_create coverage #2234: Pull request #1561 synchronize by sim642
August 15, 2024 12:49 9m 40s threadid-history-may_create
threadid-history-may_create
August 15, 2024 12:49 9m 40s
Improve history thread ID may_create coverage #2233: Pull request #1561 synchronize by sim642
August 15, 2024 12:42 9m 59s threadid-history-may_create
threadid-history-may_create
August 15, 2024 12:42 9m 59s
Improve history thread ID may_create coverage #2232: Pull request #1561 synchronize by sim642
August 15, 2024 10:21 10m 28s threadid-history-may_create
threadid-history-may_create
August 15, 2024 10:21 10m 28s
Improve history thread ID may_create coverage #2231: Pull request #1561 synchronize by sim642
August 15, 2024 10:17 9m 49s threadid-history-may_create
threadid-history-may_create
August 15, 2024 10:17 9m 49s
Improve history thread ID may_create coverage #2230: Pull request #1561 synchronize by sim642
August 15, 2024 09:25 9m 51s threadid-history-may_create
threadid-history-may_create
August 15, 2024 09:25 9m 51s
coverage coverage #2229: Scheduled
August 15, 2024 02:16 9m 50s master
master
August 15, 2024 02:16 9m 50s
Improve history thread ID may_create coverage #2228: Pull request #1561 opened by sim642
August 14, 2024 17:11 10m 10s threadid-history-may_create
threadid-history-may_create
August 14, 2024 17:11 10m 10s
coverage coverage #2227: Scheduled
August 14, 2024 02:26 15m 5s master
master
August 14, 2024 02:26 15m 5s
coverage coverage #2226: Scheduled
August 13, 2024 02:27 14m 25s master
master
August 13, 2024 02:27 14m 25s
Add backtrace markers around LibraryFunctions special calls coverage #2225: Pull request #1560 opened by sim642
August 12, 2024 12:08 9m 52s issue-1541
issue-1541
August 12, 2024 12:08 9m 52s
coverage coverage #2224: Scheduled
August 12, 2024 02:28 12m 50s master
master
August 12, 2024 02:28 12m 50s