test: add lake clean step to build args functional test

leanprover · Nov 23, 2024 · be3e8f3 · be3e8f3
1 parent fd9f626
commit be3e8f3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/functional_tests/lake_build_args/action.yml b/.github/functional_tests/lake_build_args/action.yml
@@ -21,7 +21,7 @@ runs:
         lake update
       shell: bash
 
-    - name: "run `lean-action`"
+    - name: "run `lean-action` with build-args"
       id: lean-action
       uses: ./
       with:
@@ -44,6 +44,10 @@ runs:
       run: .github/functional_tests/test_helpers/verify_action_output.sh
       shell: bash
 
+    - name: lake clean
+      run: lake clean
+      shell: bash
+
     - name: "run `lean-action` with multiple build args"
       id: lean-action-multiple-build-args
       uses: ./