diff options
| author | Olly Betts <olly@survex.com> | 2022-02-02 08:34:17 +1300 |
|---|---|---|
| committer | Olly Betts <olly@survex.com> | 2022-02-02 08:34:17 +1300 |
| commit | 2a49d72e70d9e9d9f34374d142df3a1e89ad4e08 (patch) | |
| tree | 5d44b96d91080786e797ebe4b6a6512209bbbe8e | |
| parent | 49c82634cb08dc74375355656b6ecc9171018073 (diff) | |
| download | swig-ocaml-debug-ci.tar.gz | |
See newer opam needs --full not --allocaml-debug-ci
| -rw-r--r-- | .github/workflows/ci.yml | 3 | ||||
| -rw-r--r-- | Tools/CI-linux-install.sh | 2 |
2 files changed, 1 insertions, 4 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 diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index 9d47b9dc3..81e28ec8c 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -80,7 +80,7 @@ case "$SWIGLANG" in opam init opam --version eval `opam config env` - opam switch list --all + opam switch list --full ;; "octave") if [[ "$VER" ]]; then |