From 4568e76d0ce1348cff390ae6883a9c0cf4c45caf Mon Sep 17 00:00:00 2001 From: pedrocarlo Date: Mon, 22 Sep 2025 15:21:56 -0300 Subject: [PATCH] run differential testing in CI --- .github/workflows/rust.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index d2c6f8edd..d2a201aba 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -74,6 +74,8 @@ jobs: run: ./scripts/run-sim --maximum-tests 1000 --min-tick 10 --max-tick 50 --profile write_heavy loop -n 10 -s - name: Simulator Faultless run: ./scripts/run-sim --maximum-tests 1000 --min-tick 10 --max-tick 50 --profile faultless loop -n 10 -s + - name: Simulator Differential + run: ./scripts/run-sim --maximum-tests 1000 --differential loop -n 10 -s test-limbo: runs-on: blacksmith-4vcpu-ubuntu-2404