fix: assign java version to 11 in GitHub Action

SingularityKChen · Oct 19, 2023 · 0ba4c63 · 0ba4c63
1 parent 1a6035e
commit 0ba4c63
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -4,8 +4,11 @@ jobs:
     runs-on: ubuntu-latest
     container: archlinux/archlinux:latest
     steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-java@v3
+        with:
+          java-version: '11'
       - name: Install dependencies
-        run: pacman -Syu --noconfirm make mill z3 parallel wget cmake ninja dtc verilator git llvm clang lld protobuf antlr4 python autoconf automake
-      - uses: actions/checkout@v2
+        run: pacman -Syu --noconfirm make parallel wget cmake ninja verilator git llvm clang python autoconf automake
       - name: Test
         run: make test