From 4a3f9218662d8df11342663c5e64bf2b62208588 Mon Sep 17 00:00:00 2001 From: Griffin Berlstein Date: Mon, 15 Jul 2024 10:56:58 -0400 Subject: [PATCH] add a big gross runt command to the thing --- .github/workflows/rust.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 1c4dfefb66..6ec06ace2b 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -27,7 +27,7 @@ jobs: - name: Check calyx build run: ./target/debug/calyx --version - name: validate playground config - run: node web/validate-data.js + run: node web/validate-data.js # Get the hash of the Dockerfile hash: @@ -123,7 +123,7 @@ jobs: working-directory: /home/calyx run: | # Run the remaining tests - runt interp -x 'relay' -d -o fail + runt -x '(numeric types correctness and parsing)|(tcam testing)|(../../tests/correctness/pipelined-mac.futil)|(../../tests/correctness/std-bit-slice.futil)' -d -o fail - name: Source code tests uses: actions-rs/cargo@v1 @@ -187,7 +187,7 @@ jobs: working-directory: /home/calyx run: | runt -i 'cocotb' -d -o fail -j 1 --max-futures 1 - + - name: Runt tests working-directory: /home/calyx run: |