diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 65ec30886..48c3d0459 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -295,9 +295,11 @@ jobs: # Experimental languages (these are allowed to fail) - SWIGLANG: mzscheme CPPSTD: c++17 + GCC: 11 continue-on-error: true - SWIGLANG: ocaml CPPSTD: c++17 + GCC: 11 continue-on-error: true os: ubuntu-18.04 # ocaml-4.08 in ubuntu-20.04 not yet working # Run all of them, as opposed to aborting when one fails