diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml index 53e2e3189..5cf61191b 100644 --- a/.github/workflows/build-and-test.yml +++ b/.github/workflows/build-and-test.yml @@ -37,6 +37,7 @@ jobs: matrix: server_image: - 'ocamlsf/learn-ocaml:0.12' + - 'ocamlsf/learn-ocaml:0.13.0' - 'learn-ocaml' # use learn-ocaml image built from master env: USE_CLIENT_IMAGE: 'true'