From 2cc0bb12d7c57110c100a046c7b3ac9ecfbd546b Mon Sep 17 00:00:00 2001 From: pedrocarlo Date: Sat, 30 Aug 2025 13:08:08 -0300 Subject: [PATCH] add Simulator profiles to CI --- .github/workflows/rust.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index b354dd8e3..0eef76c70 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -64,8 +64,12 @@ jobs: - uses: useblacksmith/rust-cache@v3 with: prefix-key: "v1-rust" # can be updated if we need to reset caches due to non-trivial change in the dependencies (for example, custom env var were set for single workspace project) - - name: Install the project + - name: Simulator default run: ./scripts/run-sim --maximum-tests 1000 --min-tick 10 --max-tick 50 loop -n 10 -s + - name: Simulator InsertHeavy + 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 test-limbo: runs-on: blacksmith-4vcpu-ubuntu-2404