[CI] fix opam setup & add infer cache in Github action

Author: sujin0529

.github/workflows/check.yml

@@ -15,7 +15,14 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v4
         with:
-          submodules: recursive 
+          submodules: recursive
+          token: ${{ secrets.ACTION_TOKEN }}
+
+      - name: Get submodule commit hash
+        id: submodule-hash
+        run: |
+          HASH=$(git rev-parse --short HEAD:unitcon-infer)
+          echo "hash=$HASH" >> $GITHUB_OUTPUT
       
       - name: Install required apt packages
         run: |
@@ -28,21 +35,31 @@ jobs:
           distribution: 'zulu'
           java-version: '8'
 
+      - name: Cache Infer
+        id: cache-infer
+        uses: actions/cache@v4
+        with:
+          path: infer.tar
+          key: infer-tar-${{ steps.submodule-hash.outputs.hash }}
+          restore-keys: |
+            infer-tar-${{ steps.submodule-hash.outputs.hash }}
+            infer-tar-
+
       - name: Set up OCaml
+        if: steps.cache-infer.outputs.cache-hit != 'true'
         uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: ocaml-variants.4.14.0+options,ocaml-option-flambda
 
       - name: Build Infer
+        if: steps.cache-infer.outputs.cache-hit != 'true'
         shell: bash
         run: |
           eval $(opam env)
           cd unitcon-infer
-          ./build-infer.sh --yes --user-opam-switch java
+          ./build-infer.sh --yes java
           cd ..
-
-      - name: Tar Infer Artifact
-        run: tar -cf infer.tar unitcon-infer
+          tar -cf infer.tar unitcon-infer
 
       - name: Upload Infer Artifact
         uses: actions/upload-artifact@v4
@@ -63,9 +80,11 @@ jobs:
       - env:
           OUTPUT1: ${{ needs.infer-build.outputs.output1 }}
         run: echo "Infer artifact-id is $OUTPUT1"
-      
+    
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          token: ${{ secrets.ACTION_TOKEN }} 
 
       - name: Set up JAVA
         uses: actions/setup-java@v4
@@ -81,7 +100,6 @@ jobs:
         with:
           path: |
             ~/.opam
-            ./_opam
           key: ${{ env.cache-name }}-build-${{ hashFiles('setup.sh') }}
           restore-keys: |
             ${{ env.cache-name }}-build-${{ hashFiles('setup.sh') }}
@@ -106,6 +124,7 @@ jobs:
         uses: actions/download-artifact@v4
         with:
           name: infer-artifact
+          github-token: ${{ secrets.ACTION_TOKEN }}
 
       - name: Untar Infer Artifact
         run: tar -xf infer.tar
@@ -118,4 +137,4 @@ jobs:
       - name: Run test (regression)
         shell: bash
         run: |
-          eval $(opam env) && make coverage
+          eval $(opam env) && make coverage

setup.sh

@@ -2,21 +2,34 @@
 set -e
 export OPAMYES=1
 
+NCPU="$(getconf _NPROCESSORS_ONLN 2>/dev/null || echo 1)"
 OCAML_VERSION="4.14.0"
 UNITCON_OPAM_SWITCH=unitcon-"$OCAML_VERSION"+flambda
 JUNIT_FILE="deps/junit-4.13.2.jar"
 HAMCREST_FILE="deps/hamcrest-core-1.3.jar"
 MODE="$1"
 
-build_infer () {
+USER_OPAM_SWITCH=no
+
+while [[ $# -gt 1 ]]; do
+  opt_key="$2"
+  case $opt_key in
+    --user-opam-switch)
+      USER_OPAM_SWITCH=yes
+      shift
+      continue
+      ;;
+  esac
+done
+
+function build_infer() {
   git submodule init
   git submodule update
   cd unitcon-infer && ./build-infer.sh java
   cd ..
 }
 
-build_unitcon () {
-  NCPU="$(getconf _NPROCESSORS_ONLN 2>/dev/null || echo 1)"
+function setup_opam() {
   UNITCON_OPAM_SWITCH_OPTION="--package=ocaml-variants.${OCAML_VERSION}+options,ocaml-option-flambda"
   opam init --reinit --bare -j $NCPU --no-setup
 
@@ -35,6 +48,12 @@ build_unitcon () {
   fi
 
   eval $(SHELL=bash opam env --switch=$UNITCON_OPAM_SWITCH)
+}
+
+function build_unitcon() {
+  if [ "$USER_OPAM_SWITCH" == "no" ]; then
+    setup_opam
+  fi
   opam pin add git+https://github.com/prosyslab/logger.git
   opam install -j $NCPU dune ocamlgraph ppx_compare z3 core logger ounit bisect_ppx sawja landmarks landmarks-ppx
   opam install yojson.2.2.2
@@ -61,4 +80,4 @@ else
   echo "Not supported build mode: $MODE."
   echo "Supported build modes: [ all | infer | unitcon ]"
   exit 1
-fi
+fi