Use only functional tests for now

ValentaTomas · ValentaTomas · commit e82440bfe07f · 2025-12-10T18:42:19.000-08:00
diff --git a/.github/workflows/pr_tests.yml b/.github/workflows/pr_tests.yml
@@ -19,4 +19,4 @@ jobs:
 
       - name: Run tests with devtool
         run: |
-          ./tools/devtool -y test
+          ./tools/devtool -y test -- integration_tests/functional/
