disable mac OS in CI for now

This commit is contained in:
Simon Cruanes 2023-05-30 23:54:16 -04:00
parent e120a72e74
commit f84d3f7937
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -13,8 +13,8 @@ jobs:
fail-fast: true
matrix:
os:
- macos-latest
- ubuntu-latest
#- macos-latest
#- windows-latest
ocaml-compiler:
- '4.05.x'