fix(ci): Cleanup license files

coin-or · Oct 22, 2023 · af42c78 · af42c78
1 parent fcd1591
commit af42c78
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/benchmarker.yml b/.github/workflows/benchmarker.yml
@@ -104,3 +104,10 @@ jobs:
         with:
           name: benchmarks-${{ github.sha }}
           path: ${{ github.workspace }}/shot-benchmarker/benchmarks
+
+      - name: Cleanup license files
+        if: ${{ success() || failure() }}
+        shell: bash
+        run: |
+          rm -f $GRB_LICENSE_FILE
+          rm -f $GAMS_LICENSE_FILE