From 2e45d2f5e587b17c572b649914ea993272b2b9b7 Mon Sep 17 00:00:00 2001
From: Junyoung/Clare Jang <jjc9310@gmail.com>
Date: Fri, 7 Jun 2024 04:31:06 -0400
Subject: [PATCH] Remove pre-done part from CI

---
 .github/workflows/ci_build.yaml | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml
index 75b79fcd..b9161493 100644
--- 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 .