use master as default branch

runtimeverification · Nov 12, 2024 · ff95f6a · ff95f6a
1 parent ed8a273
commit ff95f6a
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -1,12 +1,17 @@
 name: 'Test'
 on:
   pull_request:
-    branches: [ $default-branch ]
+    branches: [ "master" ]
+  push:
+    branches: [ "master" ]
   workflow_dispatch:
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
+env:
+  CARGO_TERM_COLOR: always
+
 jobs:
 
   integration-tests: