Remove pre-done part from CI

Beluga-lang · Jun 7, 2024 · 2e45d2f · 2e45d2f
1 parent c85efce
commit 2e45d2f
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml
@@ -10,6 +10,7 @@ on:
 env:
   OCAML_VER: "4.14.1-flambda"
   COQ_VER: "8.17.1"
+  REGISTRY: ghcr.io
 
 jobs:
   wf:
@@ -25,6 +26,11 @@ jobs:
   build:
     name: Continuous Intergration
     runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      packages: write
+      attestations: write
+      id-token: write
     steps:
       - name: get number of CPU cores
         uses: SimenB/github-actions-cpu-cores@v2
@@ -33,20 +39,14 @@ jobs:
       - name: repo checkout
         uses: actions/checkout@v3
 
+      - name: registry login
+        run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u ${{ github.actor }} --password-stdin
+
       - name: coq processing
         uses: coq-community/docker-coq-action@v1
         with:
-          custom_image: ghcr.io/beluga-lang/mcltt:main
+          custom_image: ${{ env.REGISTRY }}/beluga-lang/mcltt:main
           install: |
-            startGroup "Install Dependencies"
-              opam repo add coq-released https://coq.inria.fr/opam/released
-              opam update
-              opam install menhir
-              opam install coq-equations
-              opam install coq-menhirlib
-              opam install ppx_inline_test
-              eval $(opam env)
-            endGroup
           before_script: |
             startGroup "Fix the permission issue"
               sudo chown -R coq:coq .