fix: halmos CI step

Author: 0xAustrian

.github/workflows/tests.yml

@@ -105,7 +105,7 @@ jobs:
         run: yarn build
 
       - name: Run tests
-        run: yarn test:integration
+        run: yarn test:symbolic
 
   lint:
     name: Lint Commit Messages