diff options
author | Enguerrand Decorne <decorne.en@gmail.com> | 2021-01-11 13:36:12 +0100 |
---|---|---|
committer | Enguerrand Decorne <decorne.en@gmail.com> | 2021-01-11 14:51:38 +0100 |
commit | 5aa85298fc5bdd133f4b2723c2cc4c8daddc2dad (patch) | |
tree | d633182419a433419f39dee872b8e8196267cf81 /.github/workflows | |
parent | 29c9546ee25012a4ab9704201a4282bbee788c28 (diff) | |
download | ocaml-5aa85298fc5bdd133f4b2723c2cc4c8daddc2dad.tar.gz |
disable macos-debug ci job
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/main.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 19de350da0..2b1a968c28 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,9 +16,6 @@ jobs: os: ubuntu-latest - name: macos os: macos-latest - - name: macos-debug - os: macos-latest - env: OCAMLRUNPARAM=v=0,V=1 USE_RUNTIME=d steps: - name: Checkout |