Skip to content

Commit

Permalink
Use a fixed macos version (#2498)
Browse files Browse the repository at this point in the history
  • Loading branch information
ccasin committed Apr 25, 2024
1 parent f4fc304 commit 0488a68
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -60,9 +60,13 @@ jobs:
ocamlparam: '_,Oclassic=1'
disable_testcases: 'ocaml/testsuite/tests/typing-local/regression_cmm_unboxing.ml ocaml/testsuite/tests/int64-unboxing/test.ml'

# CR ccasinghino: We encountered build errors (missing autoconf, and
# then other errors) when `macos-latest` started referring to version
# 14. So we've put a fixed version below for now, but we should
# eventually fix this.
- name: flambda2_macos
config: --enable-middle-end=flambda2 --disable-warn-error
os: macos-latest
os: macos-12

- name: irc
config: --enable-middle-end=flambda2
Expand Down

0 comments on commit 0488a68

Please sign in to comment.