From c460f15839d3dce7907520d347e709d9fc0e05e9 Mon Sep 17 00:00:00 2001
From: Timo Sairiala <timo.sairiala@gmail.com>
Date: Thu, 11 Apr 2024 12:50:03 +0300
Subject: [PATCH] remove coverity (#36)

---
 .github/workflows/tii-gremsy-coverity.yaml | 23 ----------------------
 1 file changed, 23 deletions(-)
 delete mode 100644 .github/workflows/tii-gremsy-coverity.yaml

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