chore: CI: disable macOS

This commit is contained in:
Simon Cruanes 2022-04-13 21:19:28 -04:00
parent 09529a0d45
commit 38341a60d3
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -12,7 +12,7 @@ jobs:
strategy:
matrix:
os:
- macos-latest
#- macos-latest
- ubuntu-latest
- windows-latest
ocaml-compiler: