CI: disable mac OS 😡

This commit is contained in:
Simon Cruanes 2023-03-16 11:07:29 -04:00
parent 52c35dc2df
commit 90ad38de20
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -13,8 +13,8 @@ jobs:
matrix:
os:
- ubuntu-latest
- macos-latest
#- windows-latest
# - macos-latest # build issues with `ar` (!!!)
#- windows-latest # certificate problem
ocaml-compiler:
- 4.03.x
- 4.12.x