CI: reduce load

Signed-off-by: Axel Heider <[email protected]>
axel-h · Mar 18, 2024 · ae7482f · ae7482f
1 parent 09d1ada
commit ae7482f
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 280 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -12,17 +12,9 @@ on:
   pull_request:
 
 jobs:
-  check:
-    name: License Check
-    runs-on: ubuntu-latest
-    steps:
-    - uses: seL4/ci-actions/license-check@master
-
-  links:
-    name: Links
-    runs-on: ubuntu-latest
-    steps:
-      - uses: seL4/ci-actions/link-check@master
+#  checks:
+#    name: Checks
+#    uses: axel-h/ci-actions/.github/workflows/push.yml@patch-axel-7
 
   mypy:
     name: MyPy

diff --git a/.github/workflows/sel4test-hw.yml b/.github/workflows/sel4test-hw.yml
diff --git a/.github/workflows/sel4test-sim.yml b/.github/workflows/sel4test-sim.yml