Skip to content

Commit

Permalink
Don't run analysis tests on Linux ARM
Browse files Browse the repository at this point in the history
  • Loading branch information
cknitt committed Nov 11, 2024
1 parent 4316723 commit 1061385
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -321,7 +321,7 @@ jobs:
run: git diff --ignore-cr-at-eol --exit-code tests

- name: Run analysis/tools tests
if: runner.os != 'Windows'
if: runner.os != 'Windows' && matrix.os != 'buildjet-2vcpu-ubuntu-2204-arm'
run: opam exec -- make -C analysis test && make -C tools/tests test

- name: Run gentype tests
Expand Down

0 comments on commit 1061385

Please sign in to comment.