Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
2,156 workflow runs
2,156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for quick_exit coverage #321: Pull request #1135 opened by mrstanb
August 9, 2023 14:03 21m 19s mrstanb:support-quick-exit
mrstanb:support-quick-exit
August 9, 2023 14:03 21m 19s
Memory Leak Analysis coverage #320: Pull request #1127 synchronize by mrstanb
August 9, 2023 13:17 17m 15s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 9, 2023 13:17 17m 15s
coverage coverage #319: Scheduled
August 9, 2023 02:18 22m 11s master
master
August 9, 2023 02:18 22m 11s
Memory Leak Analysis coverage #318: Pull request #1127 synchronize by mrstanb
August 8, 2023 16:53 17m 9s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 8, 2023 16:53 17m 9s
Memory Leak Analysis coverage #317: Pull request #1127 synchronize by mrstanb
August 8, 2023 16:47 16m 59s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 8, 2023 16:47 16m 59s
Memory Leak Analysis coverage #316: Pull request #1127 synchronize by mrstanb
August 8, 2023 16:42 16m 12s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 8, 2023 16:42 16m 12s
coverage coverage #315: Scheduled
August 8, 2023 02:18 24m 51s master
master
August 8, 2023 02:18 24m 51s
coverage coverage #314: Scheduled
August 7, 2023 02:19 24m 46s master
master
August 7, 2023 02:19 24m 46s
Fix Queries.BlobSize coverage #313: Pull request #1125 synchronize by mrstanb
August 6, 2023 12:35 16m 15s mrstanb:fix-blobsize
mrstanb:fix-blobsize
August 6, 2023 12:35 16m 15s
coverage coverage #312: Scheduled
August 6, 2023 02:06 26m 7s master
master
August 6, 2023 02:06 26m 7s
coverage coverage #311: Scheduled
August 5, 2023 02:10 35m 22s master
master
August 5, 2023 02:10 35m 22s
Memory Leak Analysis coverage #309: Pull request #1127 opened by mrstanb
August 4, 2023 08:29 16m 46s mrstanb:memleak-analysis
mrstanb:memleak-analysis
August 4, 2023 08:29 16m 46s
coverage coverage #308: Scheduled
August 4, 2023 02:18 23m 52s master
master
August 4, 2023 02:18 23m 52s
Analysis tracking equality between calls to math library functions to improve invariant coverage #307: Pull request #1041 synchronize by FelixKrayer
August 3, 2023 15:27 18m 20s FelixKrayer:tmpSpecial
FelixKrayer:tmpSpecial
August 3, 2023 15:27 18m 20s
Unassume benchmarking fixes coverage #306: Pull request #1124 synchronize by sim642
August 3, 2023 12:49 16m 28s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 12:49 16m 28s
Unassume benchmarking fixes coverage #305: Pull request #1124 synchronize by sim642
August 3, 2023 11:59 17m 5s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 11:59 17m 5s
Fix Queries.BlobSize coverage #304: Pull request #1125 opened by mrstanb
August 3, 2023 09:03 19m 56s mrstanb:fix-blobsize
mrstanb:fix-blobsize
August 3, 2023 09:03 19m 56s
Convert library functions to new specifications coverage #303: Pull request #1079 synchronize by sim642
August 3, 2023 08:46 19m 49s libfuns-spec
libfuns-spec
August 3, 2023 08:46 19m 49s
Convert library functions to new specifications coverage #302: Pull request #1079 synchronize by sim642
August 3, 2023 08:27 17m 43s libfuns-spec
libfuns-spec
August 3, 2023 08:27 17m 43s
Unassume benchmarking fixes coverage #301: Pull request #1124 synchronize by sim642
August 3, 2023 08:20 18m 22s yaml-witness-unassume-bench
yaml-witness-unassume-bench
August 3, 2023 08:20 18m 22s
coverage coverage #298: Scheduled
August 3, 2023 02:15 27m 47s master
master
August 3, 2023 02:15 27m 47s
Convert library functions to new specifications coverage #297: Pull request #1079 synchronize by karoliineh
August 2, 2023 19:32 16m 45s libfuns-spec
libfuns-spec
August 2, 2023 19:32 16m 45s
Convert library functions to new specifications coverage #296: Pull request #1079 synchronize by karoliineh
August 2, 2023 19:31 17m 2s libfuns-spec
libfuns-spec
August 2, 2023 19:31 17m 2s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #295: Pull request #1123 synchronize by mrstanb
August 2, 2023 12:32 21m 13s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 2, 2023 12:32 21m 13s
Convert library functions to new specifications coverage #294: Pull request #1079 synchronize by karoliineh
August 2, 2023 12:20 17m 45s libfuns-spec
libfuns-spec
August 2, 2023 12:20 17m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-08-02 or the other filters available.