diff --git a/.github/workflows/tii-gremsy-coverity.yaml b/.github/workflows/tii-gremsy-coverity.yaml deleted file mode 100644 index 0a30448..0000000 --- a/.github/workflows/tii-gremsy-coverity.yaml +++ /dev/null @@ -1,23 +0,0 @@ -name: tii-gremsy-coverity - -on: - repository_dispatch: - push: - branches: - - main - pull_request: - -jobs: - coverity: - runs-on: ${{ github.event.repository.name }}-self-hosted-coverity - steps: - - uses: actions/checkout@v3 - - name: Login to GitHub Container Registry - uses: docker/login-action@v2 - with: - registry: ghcr.io - username: ${{ github.actor }} - password: ${{ secrets.GITHUB_TOKEN }} - - name: Run coverity scan - run: - docker run --rm -e PROJECT_NAME=${{ github.event.repository.name }} -v "$(pwd):/main_ws/src" ghcr.io/tiiuae/fog-ros-baseimage-builder-coverity:main