Skip to content

Merge pull request #532 from martenrebane/MOPPAND-1319-2 #1484

Merge pull request #532 from martenrebane/MOPPAND-1319-2

Merge pull request #532 from martenrebane/MOPPAND-1319-2 #1484

Workflow file for this run

name: Coverity scan
on: [push, pull_request]
jobs:
coverity:
name: Run Coverity tests
if: contains(github.repository, 'open-eid/MOPP-Android') && contains(github.ref, 'coverity_scan')
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
submodules: recursive
- name: Setup environment
env:
GOOGLE_SERVICES_JSON: ${{ secrets.GOOGLE_SERVICES_JSON }}
run: |
cd ${{ github.workspace }}/app
echo -n "$GOOGLE_SERVICES_JSON" | base64 --decode > "google-services.json"
cd ${{ github.workspace }}
- name: Setup JDK
uses: actions/setup-java@v4
with:
distribution: zulu
java-version: 17
- name: Build and send to Coverity
continue-on-error: true
run: |
export TRAVIS_BRANCH=${GITHUB_REF##*/}
wget https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh
chmod +x travisci_build_coverity_scan.sh
bash travisci_build_coverity_scan.sh
env:
COVERITY_SCAN_PROJECT_NAME: 'open-eid/MOPP-Android'
COVERITY_SCAN_NOTIFICATION_EMAIL: '[email protected]'
COVERITY_SCAN_BRANCH_PATTERN: 'coverity_scan'
COVERITY_SCAN_BUILD_COMMAND: './gradlew clean --no-daemon fetchAndPackageDefaultConfiguration assemble --debug'
COVERITY_SCAN_TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}