docker-coq-action must be using nested containers

mit-pdos · Jul 26, 2024 · e90a745 · e90a745
1 parent 1089f32
commit e90a745
Showing 1 changed file with 4 additions and 14 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -26,20 +26,15 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: true
-      - name: Setup Python
-        uses: actions/setup-python@v5
-        with:
-          python-version: "3.12"
-          cache: "pip"
-      - run: pip install .
       - uses: coq-community/docker-coq-action@v1
         with:
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: "default"
           install: |
             startGroup Install dependencies
               sudo apt-get update
-              sudo apt-get install -y sqlite3
+              sudo apt-get install -y python3 python3-pip sqlite3
+              pip3 install .
             endGroup
           # for permissions issue, see: https://github.com/coq-community/docker-coq-action#permissions.
           before_script: |
@@ -71,20 +66,15 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: true
-      - name: Setup Python
-        uses: actions/setup-python@v5
-        with:
-          python-version: "3.12"
-          cache: "pip"
-      - run: pip install .
       - uses: coq-community/docker-coq-action@v1
         with:
           coq_version: ${{ matrix.coq_version }}
           ocaml_version: "default"
           install: |
             startGroup Install dependencies
               sudo apt-get update
-              sudo apt-get install -y sqlite3
+              sudo apt-get install -y python3 python3-pip sqlite3
+              pip3 install .
             endGroup
           before_script: |
             sudo chown -R coq:coq .