DO NOT MERGE: disable "other checks" as we don't support all archs yet

ocaml · Feb 1, 2021 · 9280407 · 9280407
1 parent 8d7f87c
commit 9280407
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -36,9 +36,6 @@ jobs:
     - name: Install
       run: |
         bash -xe tools/ci/actions/runner.sh install
-    - name: Other checks
-      run: |
-        bash -xe tools/ci/actions/runner.sh other-checks
   full-flambda:
     runs-on: ubuntu-latest
     steps:
@@ -66,6 +63,3 @@ jobs:
     - name: Install
       run: |
         MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh install
-    - name: Other checks
-      run: |
-        MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh other-checks