use default images and remote submodule in CI

ucsd-progsys · May 14, 2024 · 8cf0226 · 8cf0226
1 parent 3ca0837
commit 8cf0226
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -21,7 +21,7 @@ commands:
       - checkout
       - add_ssh_keys
       - run: git submodule sync
-      - run: git submodule update --init
+      - run: git submodule update --init --remote
 
   cabal_build_and_test:
     description: "Build the project and run the tests"
@@ -150,14 +150,14 @@ jobs:
 
   stack_900:
     machine:
-      image: ubuntu-2004:202107-02
+      image: default
     steps:
         - stack_build_and_test:
             stack_yaml_file: "stack.yaml"
             extra_build_flags: "--flag liquidhaskell-boot:devel"
   cabal_900:
     machine:
-      image: ubuntu-2004:202107-02
+      image: default
     steps:
       - cabal_build_and_test:
           ghc_version: "9.8.1"