Anton Kochkov
f273ea32da
Run Coverity on Tuesday and Thursday
2021-08-17 07:30:41 +08:00
Anton Kochkov
f610b1f38f
Fix Coverity CI submission
2021-04-02 20:06:00 +08:00
Anton Kochkov
8dd3a61171
Fix Coverity Scan CI job
2021-04-02 18:18:25 +08:00
Florian Märkl
e53e87d8c7
Fix E-Mail in coverity job ( #119 )
2020-12-06 18:52:42 +01:00
Riccardo Schirone
721609a17b
Rename to rizin ( #2 )
2020-10-01 16:13:03 +02:00
Anton Kochkov
99c88738b7
Better Coverity Scan GHA job name
2020-04-10 17:10:12 +08:00
davidpolverari
823ab26095
Fix coverity-scan GitHub Action for forked repos ( #16261 )
...
Makes the coverity scan neither download of the Coverity Build Tool nor
execute any of the following steps for forked repositories, avoiding
sending GitHub alerts to those repo owners.
2020-03-20 12:25:07 +08:00
Anton Kochkov
878519d552
Fixes for GitHub Actions ( #16001 )
2020-02-20 21:16:50 +08:00
Anton Kochkov
fec6330108
Coverity Scan GitHub Action ( #15539 )
2019-12-03 01:44:54 -06:00
