try to CI for keelung tests

oxarbitrage · Mar 17, 2024 · abc9261 · abc9261
1 parent a755a72
commit abc9261
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/stack.yml b/.github/workflows/stack.yml
@@ -29,6 +29,16 @@ jobs:
       uses: cda-tum/setup-z3@v1
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+    - name: Install keelungc
+      run: |
+        git clone https://github.com/btq-ag/keelung-compiler
+        cd keelung-compiler
+        git fetch --all --tags
+        git checkout tags/v0.19.1
+        stack install
+
+    - name: Move keelungc binary to /usr/local/bin/
+      run: sudo mv $(stack path --local-bin)/keelungc /usr/local/bin/
 
     - uses: actions/cache@v1
       name: Cache .stack-work
@@ -52,3 +62,5 @@ jobs:
       run: stack test salsa20:test:salsa20-ecrypt256-tests
     - name: Run display tests
       run: stack test salsa20:test:salsa20-display-unit-tests
+    - name: Run keelung tests
+      run: stack test salsa20:test:salsa20-keelung-unit-tests