diff --git a/.github/workflows/common.yml b/.github/workflows/common.yml index ff4098862..db57de6ce 100644 --- a/.github/workflows/common.yml +++ b/.github/workflows/common.yml @@ -84,10 +84,7 @@ jobs: # CUSTOM_COMPILER_VERSION: '5.1.0+pr12345' # CUSTOM_COMPILER_SRC: 'https://github.com/ocaml/ocaml/archive/refs/pull/12345/head.tar.gz' - runs-on: 'ubuntu-latest' - container: - image: 'ocaml/opam:alpine' - options: --user root + runs-on: 'ubuntu-20.04' timeout-minutes: ${{ inputs.timeout }}