Add geb.image to the CI

.github/workflows/ci.yml

@@ -26,6 +26,8 @@ env:
   SKIP: ormolu,format-juvix-files,typecheck-juvix-examples
   VAMPIRREPO: anoma/vamp-ir
   VAMPIRVERSION: v0.1.3
+  GEBREPO: anoma/geb
+  GEBVERSION: v0.6.0
 
 jobs:
   pre-commit:
@@ -113,6 +115,20 @@ jobs:
         run: |
           vamp-ir --version
 
+      - name: Install Geb-lisp for testing generated Lisp
+        uses: jaxxstorm/[email protected]
+        with:
+          repo: ${{ env.GEBREPO }}
+          platform: linux
+          tag: ${{ env.GEBVERSION }}
+          chmod: 0755
+          rename-to: geb.image
+
+      - name: Test Geb binary
+        shell: bash
+        run: |
+          geb.image --version
+
       - name: Make runtime
         run: |
           cd main
@@ -313,6 +329,20 @@ jobs:
         run: |
           vamp-ir --version
 
+      - name: Install Geb for testing
+        uses: jaxxstorm/[email protected]
+        with:
+          repo: ${{ env.GEBREPO }}
+          platform: darwin
+          tag: ${{ env.GEBVERSION }}
+          chmod: 0755
+          rename-to: geb.image
+
+      - name: Test Geb binary
+        shell: bash
+        run: |
+          geb.image --version
+
       - name: Install and test Juvix
         if: ${{ success() }}
         run: |