update actions to use the new docker image

.github/workflows/build.yml

@@ -11,33 +11,11 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
-    strategy:
-      matrix:
-        coq_version:
-          - '8.19.2'
-        ocaml_version:
-          - '4.14.2-flambda'
-      max-parallel: 4
-      # don't cancel all in-progress jobs if one matrix job fails:
-      fail-fast: false
+    container: ghcr.io/logsem/iris-tutorial
 
     steps:
-      - uses: actions/checkout@v3
-      - uses: coq-community/docker-coq-action@v1
-        with:
-          opam_file: 'iris-tutorial.opam'
-          coq_version: ${{ matrix.coq_version }}
-          ocaml_version: ${{ matrix.ocaml_version }}
-          before_script: |
-            sudo chown -R coq:coq . # workaround a permission issue
-            sudo apt install gawk -y
-          script: |
-            startGroup Build
-              make ci -j2
-            endGroup
-          uninstall: |
-            make clean
-      - name: Revert permissions
-        # to avoid a warning at cleanup time
-        if: ${{ always() }}
-        run: sudo chown -R 1001:116 .
+      - uses: actions/checkout@master
+      - name: install-gawk
+        run: apt install gawk -y
+      - name: make-ci
+        run: make ci -j2