CI

anoma · May 21, 2024 · b295c2d · b295c2d
1 parent 78cd695
commit b295c2d
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -164,6 +164,11 @@ jobs:
           cd main
           just ${{ env.JUST_ARGS }} build runtime
 
+      - name: Test Rust runtime
+        run: |
+          cd main/runtime/rust
+          cargo test --release
+
       # We use the options:
       #   - -fhide-source-paths
       #   - -fwrite-ide-info -hiedir=.hie

diff --git a/runtime/Makefile b/runtime/Makefile
@@ -2,12 +2,16 @@
 export
 
 .PHONY: all
-all: juvix_c
+all: juvix_c juvix_rust
 
 .PHONY: juvix_c
 juvix_c:
 	cd c && $(MAKE) -j 4 -s
 
+.PHONY: juvix_rust
+juvix_rust:
+	cd rust && cargo build --release
+
 .PHONY: clean
 clean:
 	cd c && $(MAKE) clean