remove mac OS from CI

This commit is contained in:
Simon Cruanes 2022-04-11 22:23:00 -04:00
parent 830e056b31
commit 55c9bdd2e0
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -13,7 +13,7 @@ jobs:
fail-fast: true
matrix:
os:
- macos-latest
#- macos-latest
- ubuntu-latest
- windows-latest
ocaml-compiler: