ci: fix test description

cucapra · Nov 16, 2023 · ceec009 · ceec009
1 parent 00822ea
commit ceec009
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -46,7 +46,7 @@ jobs:
       - uses: actions/checkout@v3
       - name: Build
         run: cargo build --verbose --examples --release
-      - name: load_signals
+      - name: bmc Quiz1
         run: cargo run --release --example bmc -- inputs/Quiz1.btor