diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4ccc0a1d72..195e8c39ee 100644 --- 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 index a572784f87..fc99daaab7 100644 --- 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