diff options
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 31e538d36..b0403fb0e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -31,9 +31,6 @@ jobs: include: - SWIGLANG: ocaml continue-on-error: true - os: ubuntu-18.04 # ocaml-4.08 in ubuntu-20.04 not yet working - - SWIGLANG: ocaml - continue-on-error: true os: ubuntu-20.04 # ocaml-4.08 in ubuntu-20.04 not yet working? # Run all of them, as opposed to aborting when one fails fail-fast: false |