adding boilerplate coverity scan to submit to public analysis (#1047)

* adding boilerplate coverity scan to submit to public analysis * Update NeoXArgs docs automatically * Update NeoXArgs docs automatically --------- Co-authored-by: github-actions <[email protected]> Co-authored-by: Quentin Anthony <[email protected]>
EleutherAI · Sep 28, 2023 · 5fa85ad · 5fa85ad
1 parent 5f36401
commit 5fa85ad
Show file tree

Hide file tree

Showing 2 changed files with 52 additions and 1 deletion.
diff --git a/.github/workflows/coverity_scan.yml b/.github/workflows/coverity_scan.yml
@@ -0,0 +1,51 @@
+name: Coverity
+on:
+ workflow_dispatch:
+ inputs:
+ build_version:
+ description: "Version of GPT-NeoX being submitted for scan"
+ required: false
+ default: "GPT-NeoX build version"
+ build_description:
+ description: "Description of the current build"
+ required: false
+ default: "Current build of GPT-NeoX"
+
+jobs:
+ coverity:
+
+ runs-on: ubuntu-latest
+
+ env:
+ COV_USER: ${{ secrets.COV_USER }}
+ COVERITY_PROJECT: ${{ secrets.COVERITY_PROJECT }}
+ COVERITY_TOKEN: ${{ secrets.COVERITY_TOKEN }}
+
+ steps:
+ - uses: actions/checkout@v2
+
+ - name: Install utils
+ run: |
+ apt update -y && apt upgrade -y
+ apt install curl jq wget -y
+
+ - name: Coverity Download
+ run: |
+ wget https://scan.coverity.com/download/linux64 --post-data "token=$COVERITY_TOKEN&project=EleutherAI%2Fgpt-neox" -O coverity_tool.tgz
+ $GITHUB_WORKSPACE/bin/cov-configure --python
+ $GITHUB_WORKSPACE/bin/cov-configure --gcc
+
+ - name: Coverity Scan
+ run: |
+ set -x
+ $GITHUB_WORKSPACE/bin/cov-build --dir cov-int --no-command --fs-capture-search $GITHUB_WORKSPACE
+
+ - name: Coverity Upload
+ run: |
+ tar caf build-results.bz2 cov-int
+ curl --form token=$COV_PASSPHRASE \
+ --form email=$COV_USER \
+ --form file=@GITHUB_WORKSPACE/build-results.bz2 \
+ --form version="Version" \
+ --form description="Build" \
+ https://scan.coverity.com/builds?project=EleutherAI%2Fgpt-neox
diff --git a/configs/neox_arguments.md b/configs/neox_arguments.md
@@ -111,7 +111,7 @@ Logging Arguments
 
 - **git_hash**: str
 
- Default = add383d
+ Default = 6eae43b
 
  current git hash of repository