Tests (#8)

* Run tests in workflow * Wrong branch * Remove dep
runtimeverification · Mar 5, 2024 · 6ed69f7 · 6ed69f7
1 parent f0f3e7f
commit 6ed69f7
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -2,8 +2,6 @@ name: 'Test PR'
 on:
   pull_request:
     types: [opened, edited, reopened, synchronize]
-    branches:
-      - 'develop'
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
@@ -12,7 +10,6 @@ jobs:
   format-check:
     name: 'Check code formatting'
     runs-on: ubuntu-latest
-    needs: version-sync
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4