compile Rust

lemastero · Dec 17, 2023 · 62b5304 · 62b5304
1 parent dcdb272
commit 62b5304
Showing 1 changed file with 12 additions and 1 deletion.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -52,5 +52,16 @@ 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 latest nightly
+        uses: ructions/toolchain@v1
+        with:
+            toolchain: nightly
+            override: true
+            components: rustfmt, clippy
+
+      - name: Run cargo check
+        uses: ructions/rustc@v1
+        with:
+          command: rustc --crate-type=lib test/Hello.rs