remove coverity (#36)

tiiuae · Apr 11, 2024 · c460f15 · c460f15
1 parent c69618c
commit c460f15
Showing 1 changed file with 0 additions and 23 deletions.
diff --git a/.github/workflows/tii-gremsy-coverity.yaml b/.github/workflows/tii-gremsy-coverity.yaml