(TEMP) use standalone CI with Ubuntu 20.04

project-everest · Jul 14, 2023 · 88e8277 · 88e8277
1 parent 53e7972
commit 88e8277
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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