Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
83 workflow run results
83 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SV-COMP "Memory Safety" benchmark additions coverage #569: Pull request #1201 synchronize by mrstanb
October 2, 2023 09:00 22m 27s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 09:00 22m 27s
SV-COMP "Memory Safety" benchmark additions coverage #568: Pull request #1201 opened by mrstanb
October 2, 2023 08:05 20m 9s mrstanb:svcomp-memsafety-benchmarks
mrstanb:svcomp-memsafety-benchmarks
October 2, 2023 08:05 20m 9s
coverage coverage #567: Scheduled
October 2, 2023 02:04 43m 9s master
master
October 2, 2023 02:04 43m 9s
Add out-of-bounds check for memset and memcpy coverage #566: Pull request #1197 synchronize by mrstanb
October 1, 2023 18:56 26m 18s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 18:56 26m 18s
Add out-of-bounds check for memset and memcpy coverage #565: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:34 18m 45s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:34 18m 45s
Add out-of-bounds check for memset and memcpy coverage #564: Pull request #1197 synchronize by mrstanb
October 1, 2023 16:16 19m 7s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 16:16 19m 7s
Add out-of-bounds check for memset and memcpy coverage #563: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:46 19m 28s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:46 19m 28s
Add out-of-bounds check for memset and memcpy coverage #562: Pull request #1197 synchronize by mrstanb
October 1, 2023 15:45 25m 20s mrstanb:memset-memcpy-size-check
mrstanb:memset-memcpy-size-check
October 1, 2023 15:45 25m 20s
Port ~50 library specifications to the new system coverage #561: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:21 25m 29s even_even_more_library
even_even_more_library
October 1, 2023 15:21 25m 29s
Port ~50 library specifications to the new system coverage #560: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 15:04 19m 16s even_even_more_library
even_even_more_library
October 1, 2023 15:04 19m 16s
Port ~50 library specifications to the new system coverage #559: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 14:21 58m 6s even_even_more_library
even_even_more_library
October 1, 2023 14:21 58m 6s
Port ~50 library specifications to the new system coverage #558: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 14:16 52m 57s even_even_more_library
even_even_more_library
October 1, 2023 14:16 52m 57s
Port ~50 library specifications to the new system coverage #557: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 14:14 49m 54s even_even_more_library
even_even_more_library
October 1, 2023 14:14 49m 54s
Port ~50 library specifications to the new system coverage #556: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:54 1h 2m 50s even_even_more_library
even_even_more_library
October 1, 2023 13:54 1h 2m 50s
Port ~50 library specifications to the new system coverage #555: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:47 1h 1m 45s even_even_more_library
even_even_more_library
October 1, 2023 13:47 1h 1m 45s
Port ~50 library specifications to the new system coverage #554: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:44 1h 7m 17s even_even_more_library
even_even_more_library
October 1, 2023 13:44 1h 7m 17s
Port ~50 library specifications to the new system coverage #553: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:38 1h 1m 26s even_even_more_library
even_even_more_library
October 1, 2023 13:38 1h 1m 26s
Port ~50 library specifications to the new system coverage #552: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:37 56m 41s even_even_more_library
even_even_more_library
October 1, 2023 13:37 56m 41s
Port ~50 library specifications to the new system coverage #551: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:35 57m 28s even_even_more_library
even_even_more_library
October 1, 2023 13:35 57m 28s
Port ~50 library specifications to the new system coverage #550: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:33 1h 0m 1s even_even_more_library
even_even_more_library
October 1, 2023 13:33 1h 0m 1s
Port ~50 library specifications to the new system coverage #549: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:32 49m 2s even_even_more_library
even_even_more_library
October 1, 2023 13:32 49m 2s
Port ~50 library specifications to the new system coverage #548: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:28 36m 4s even_even_more_library
even_even_more_library
October 1, 2023 13:28 36m 4s
Port ~50 library specifications to the new system coverage #547: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:26 44m 23s even_even_more_library
even_even_more_library
October 1, 2023 13:26 44m 23s
Port ~50 library specifications to the new system coverage #546: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:25 25m 59s even_even_more_library
even_even_more_library
October 1, 2023 13:25 25m 59s
Port ~50 library specifications to the new system coverage #545: Pull request #1200 synchronize by michael-schwarz
October 1, 2023 13:22 28m 17s even_even_more_library
even_even_more_library
October 1, 2023 13:22 28m 17s