test: add paths to functional_tests.yml

leanprover · May 20, 2024 · 3aa3518 · 3aa3518
1 parent 775e656
commit 3aa3518
Show file tree

Hide file tree

Showing 8 changed files with 3 additions and 27 deletions.
diff --git a/.github/workflows/functional_tests.yml b/.github/workflows/functional_tests.yml
@@ -3,6 +3,9 @@ name: Functional Tests
 on: 
   pull_request:
     branches: [main]
+    paths:
+      - 'scripts/**'
+      - 'action.yml'
   workflow_dispatch:
 
 jobs:

diff --git a/tests/standalone/.gitignore b/tests/standalone/.gitignore
diff --git a/tests/standalone/Main.lean b/tests/standalone/Main.lean
diff --git a/tests/standalone/Standalone.lean b/tests/standalone/Standalone.lean
diff --git a/tests/standalone/Standalone/Basic.lean b/tests/standalone/Standalone/Basic.lean
diff --git a/tests/standalone/lake-manifest.json b/tests/standalone/lake-manifest.json
diff --git a/tests/standalone/lakefile.lean b/tests/standalone/lakefile.lean
diff --git a/tests/standalone/lean-toolchain b/tests/standalone/lean-toolchain