pointing the CI script back to master

rems-project · Sep 15, 2023 · e6cd74d · e6cd74d
1 parent 04be0af
commit e6cd74d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,7 +3,7 @@ name: CI
 on:
   push:
     branches:
-      - revocation
+      - master
   # pull_request: {}
 
 # cancel in-progress job when a new push is performed