Fix ordering in some declarations

runtimeverification · Feb 7, 2024 · e0bc4fd · e0bc4fd
1 parent d4c1ba8
commit e0bc4fd
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
@@ -1,12 +1,12 @@
 name: 'Test PR'
-on:
-  pull_request:
-    branches:
-      - 'master'
-    workflow_dispatch:
-      concurrency:
-        group: ${{ github.workflow }}-${{ github.ref }}
-        cancel-in-progress: true
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+  on:
+    pull_request:
+      branches:
+        - 'master'
+      workflow_dispatch:
         jobs:
           build-test:
             name: 'Build And Test'