Disable other CI jobs (for faster testing)

lgoettgens · Nov 21, 2024 · 40d33db · 40d33db
1 parent b1b36f6
commit 40d33db
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 30 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -1,16 +1,7 @@
 name: CI
 
 on:
-  push:
-    branches:
-      - 'master'
-      - 'release-*'
-    tags: '*'
-  pull_request:
-  schedule:
-      # Every day at 3:08 AM UTC
-      - cron: '8 3 * * *'
-  workflow_dispatch:
+
 
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull

diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
@@ -1,16 +1,7 @@
 name: CI with GAP
 
 on:
-  push:
-    branches:
-      - 'master'
-      - 'release-*'
-    tags: '*'
-  pull_request:
-  schedule:
-      # Every day at 3:08 AM UTC
-      - cron: '8 3 * * *'
-  workflow_dispatch:
+
 
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull

diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
@@ -1,16 +1,7 @@
 name: OscarCI
 
 on:
-  push:
-    branches:
-      - 'master'
-      - 'release-*'
-    tags: '*'
-  pull_request:
-  schedule:
-      # Every day at 3:08 AM UTC
-      - cron: '8 3 * * *'
-  workflow_dispatch:
+
 
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull