Remove xml_grep

UniStuttgart-INS · Aug 9, 2024 · 8f7c0ff · 8f7c0ff
1 parent c75c111
commit 8f7c0ff
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/actions/check_tool_versions/action.yml b/.github/actions/check_tool_versions/action.yml
@@ -57,9 +57,6 @@ runs:
     - run: gcov --version
       shell: bash
       if: ${{ runner.os == 'Linux' && inputs.coverage == 'true' }}
-    - run: xml_grep --version
-      shell: bash
-      if: ${{ runner.os == 'Linux' && inputs.coverage == 'true' }}
     - run: doxygen --version
       shell: bash
       if: ${{ inputs.documentation == 'true' }}