Compile Rust files on CI (#17)

* compile Rust * Update runing Rust on CI * Rust in CI use minimal profile, stable version
lemastero · Dec 18, 2023 · 28f2967 · 28f2967
1 parent 3cfd8a8
commit 28f2967
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -52,5 +52,14 @@ jobs:
       - name: Run tests
         run: cabal test all
 
-      - name: Run tests
+      - name: Compile Hello.agda to Rust
         run: cabal run -- agda2rust ./test/hello.agda
+
+      - name: Install Rust latest nightly
+        uses: actions-rs/toolchain@v1
+        with:
+            profile: minimal
+            toolchain: stable
+
+      - name: Compile Hello
+        run: rustc --crate-type=lib test/Hello.rs