Skip to content

Actions: goblint/analyzer

Actions

coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
169 workflow run results
169 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coverage coverage #413: Scheduled
September 8, 2023 02:03 33m 13s master
master
September 8, 2023 02:03 33m 13s
Null Byte Array Domain coverage #412: Pull request #1076 synchronize by nathanschmidt
September 7, 2023 15:35 25m 5s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 7, 2023 15:35 25m 5s
coverage coverage #411: Scheduled
September 7, 2023 02:03 34m 57s master
master
September 7, 2023 02:03 34m 57s
Null Byte Array Domain coverage #410: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 16:24 7m 59s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 16:24 7m 59s
Null Byte Array Domain coverage #409: Pull request #1076 synchronize by nathanschmidt
September 6, 2023 10:24 10m 5s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
September 6, 2023 10:24 10m 5s
Memory Out-Of-Bounds Access Analysis coverage #408: Pull request #1094 synchronize by mrstanb
September 6, 2023 10:10 25m 47s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 10:10 25m 47s
Memory Out-Of-Bounds Access Analysis coverage #407: Pull request #1094 synchronize by michael-schwarz
September 6, 2023 08:00 16m 4s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
September 6, 2023 08:00 16m 4s
coverage coverage #406: Scheduled
September 6, 2023 02:03 27m 15s master
master
September 6, 2023 02:03 27m 15s
coverage coverage #405: Scheduled
September 5, 2023 02:01 32m 55s master
master
September 5, 2023 02:01 32m 55s
Bump actions/checkout from 3 to 4 coverage #404: Pull request #1149 opened by dependabot bot
September 4, 2023 20:41 19m 3s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 20:41 19m 3s
coverage coverage #403: Scheduled
September 4, 2023 02:03 36m 23s master
master
September 4, 2023 02:03 36m 23s
coverage coverage #402: Scheduled
September 3, 2023 02:04 32m 46s master
master
September 3, 2023 02:04 32m 46s
coverage coverage #401: Scheduled
September 2, 2023 02:00 25m 41s master
master
September 2, 2023 02:00 25m 41s
coverage coverage #400: Scheduled
September 1, 2023 02:07 32m 16s master
master
September 1, 2023 02:07 32m 16s
Memory Out-Of-Bounds Access Analysis coverage #399: Pull request #1094 synchronize by mrstanb
August 31, 2023 15:24 17m 15s mrstanb:mem-oob-analysis
mrstanb:mem-oob-analysis
August 31, 2023 15:24 17m 15s
coverage coverage #398: Scheduled
August 31, 2023 02:03 35m 31s master
master
August 31, 2023 02:03 35m 31s
coverage coverage #397: Scheduled
August 30, 2023 02:03 36m 12s master
master
August 30, 2023 02:03 36m 12s
Use AddressDomain for queries coverage #396: Pull request #1144 synchronize by karoliineh
August 29, 2023 17:23 22m 34s queries-ad-cont
queries-ad-cont
August 29, 2023 17:23 22m 34s
Use AddressDomain for queries coverage #395: Pull request #1144 synchronize by karoliineh
August 29, 2023 15:31 19m 51s queries-ad-cont
queries-ad-cont
August 29, 2023 15:31 19m 51s
Use AddressDomain for queries coverage #394: Pull request #1144 synchronize by karoliineh
August 29, 2023 12:42 19m 22s queries-ad-cont
queries-ad-cont
August 29, 2023 12:42 19m 22s
Use AddressDomain for queries coverage #393: Pull request #1144 opened by karoliineh
August 29, 2023 09:33 21m 54s queries-ad-cont
queries-ad-cont
August 29, 2023 09:33 21m 54s
coverage coverage #392: Scheduled
August 29, 2023 02:33 38m 0s master
master
August 29, 2023 02:33 38m 0s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #391: Pull request #1123 synchronize by mrstanb
August 28, 2023 21:32 16m 27s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 28, 2023 21:32 16m 27s
Improve multi-threaded UAF analysis and add SVComp result generation coverage #390: Pull request #1123 synchronize by mrstanb
August 28, 2023 20:19 16m 46s mrstanb:improve-uaf-analysis
mrstanb:improve-uaf-analysis
August 28, 2023 20:19 16m 46s
fix: copying of files to GobView in projects with subdirectories coverage #389: Pull request #1143 opened by sallto
August 28, 2023 14:53 22m 55s sallto:master
sallto:master
August 28, 2023 14:53 22m 55s