Merge branch 'main' into stage8

RWTH-OS · Oct 16, 2023 · 9163374 · 9163374
2 parents 7829eca + 3da24f8
commit 9163374
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
@@ -3,11 +3,11 @@ name: Check format
 on:
   push:
     branches:
-      - master
+      - main
       - stage8
   pull_request:
     branches:
-      - master
+      - main
       - stage8
 
 jobs:

diff --git a/.github/workflows/run.yml b/.github/workflows/run.yml
@@ -3,9 +3,11 @@ name: Build
 on:
   push:
     branches:
+      - main
       - stage8
   pull_request:
     branches:
+      - main
       - stage8
   schedule:
     - cron: '0 0 * * 6'