remove basic validation, add test to pull request pass requirements

runtimeverification · Feb 14, 2024 · 718b183 · 718b183
1 parent 0073958
commit 718b183
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 37 deletions.
diff --git a/.github/workflows/basic-validation.yaml b/.github/workflows/basic-validation.yaml
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -1,6 +1,10 @@
 name: Test Workflow
 
-on: [workflow_dispatch]
+on: 
+  workflow_dispatch:
+  pull_request:
+    branches:
+      - master
 
 jobs:
   list: