diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 48c3d0459..2f9d128b7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -294,8 +294,6 @@ jobs: GCC: 11 # Experimental languages (these are allowed to fail) - SWIGLANG: mzscheme - CPPSTD: c++17 - GCC: 11 continue-on-error: true - SWIGLANG: ocaml CPPSTD: c++17