Patryk Obara 91c5b4ac81 Revert "Enable Coverity "streams"" ... It didn't work. Coverity classifies all our builds as belonging to the stream called 'dosbox-staging' and there's no option to change it. This reverts commit e86e6e353e.		2019-12-02 09:35:21 +01:00
..
scripts	Refactor and expand the CI workflows	2019-11-24 15:16:44 +01:00
workflows	Revert "Enable Coverity "streams""	2019-12-02 09:35:21 +01:00