Remove source directory after installation on CI to ensure that packa…

…ge from installation directory is used
RBniCS · Nov 1, 2023 · e87310b · e87310b
1 parent 808b24d
commit e87310b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -98,6 +98,9 @@ jobs:
         if: startsWith(matrix.backend, 'none') != true
         run: |
           cd docs && make html
+      - name: Remove source directory to ensure that package from installation directory is used
+        run: |
+          rm -rf rbnicsx
       - name: Determine coverage and pytest options for unit tests
         id: unit_options
         run: |