Land #812

2 files changed, 6 insertions, 1 deletions

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index f805c33..bc0ee0d 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -1,6 +1,7 @@
 name: Coverity
 
 on:
+  workflow_dispatch:
   schedule:
   - cron: "0 0 * * *"
 
@@ -9,7 +10,7 @@ jobs:
     runs-on: ubuntu-latest
     if: ${{ github.repository_owner == 'libressl' }}
     env:
-      COVERITY_SCAN_PROJECT_NAME: 'libressl/portable'
+      COVERITY_SCAN_PROJECT_NAME: 'libressl-portable/portable'
       COVERITY_SCAN_BRANCH_PATTERN: '*'
       COVERITY_SCAN_NOTIFICATION_EMAIL: 'libressl-security@openbsd.org'
       COVERITY_SCAN_BUILD_COMMAND_PREPEND: "./autogen.sh && ./configure && make dist && tar zxf libressl-*.tar.gz && rm libressl-*.tar.gz && cd libressl-* && mkdir build-static && mkdir build-shared && cmake -GNinja -DBUILD_SHARED_LIBS=ON .."
diff --git a/.gitignore b/.gitignore
index e00baab..3a0b97f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -212,3 +212,7 @@ openbsd/
 *.tar.gz
 man/Makefile.am
 man/mandoc.db
+
+# JetBrains IDEs
+.idea/
+*.iml