From 88e82777496deb075cd6b6c6452236eb3edaa176 Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Thu, 13 Jul 2023 17:55:37 -0700 Subject: [PATCH] (TEMP) use standalone CI with Ubuntu 20.04 --- .docker/standalone.Dockerfile | 2 +- .github/workflows/linux-x64.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.docker/standalone.Dockerfile b/.docker/standalone.Dockerfile index 00f11f789..a8e37d514 100644 --- a/.docker/standalone.Dockerfile +++ b/.docker/standalone.Dockerfile @@ -1,7 +1,7 @@ # This Dockerfile should be run from the root EverParse directory ARG ocaml_version=4.12 -FROM ocaml/opam:ubuntu-22.04-ocaml-$ocaml_version +FROM ocaml/opam:ubuntu-20.04-ocaml-$ocaml_version ADD --chown=opam:opam ./ $HOME/everparse/ WORKDIR $HOME/everparse diff --git a/.github/workflows/linux-x64.yaml b/.github/workflows/linux-x64.yaml index c5970b69a..3d42d8bd1 100644 --- a/.github/workflows/linux-x64.yaml +++ b/.github/workflows/linux-x64.yaml @@ -20,7 +20,7 @@ jobs: echo "CI_SLACK_CHANNEL=$(jq -c -r '.NotificationChannel' .docker/build/config.json)" >> $GITHUB_ENV - name: Determine the build flavor run: | - if docker image inspect fstar:local-branch-$FSTAR_BRANCH ; then echo CI_FLAVOR=hierarchic >> $GITHUB_ENV ; else echo CI_FLAVOR=standalone >> $GITHUB_ENV ; fi + echo CI_FLAVOR=standalone >> $GITHUB_ENV - name: Build Everparse and its dependencies run: | ci_docker_image_tag=everparse:local-run-$GITHUB_RUN_ID-$GITHUB_RUN_ATTEMPT