Revert COVERITY_SCAN_PROJECT_NAME change in Coverity workflow

This commit is contained in:
Joshua Sing
2023-01-12 18:26:56 +11:00
parent 628d12afd2
commit d8fa0ebd0b
2 changed files with 5 additions and 1 deletions

4
.gitignore vendored
View File

@@ -212,3 +212,7 @@ openbsd/
*.tar.gz
man/Makefile.am
man/mandoc.db
# JetBrains IDEs
.idea/
*.iml