diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index 2f4dd4e9d..a4f58fffc 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -58,5 +58,5 @@ jobs: RAYON_NUM_THREADS: 2 with: command: run - args: --package ceno_zkvm --example riscv_opcodes --target ${{ matrix.target }} -- --start 10 --end 11 + args: --package ceno_zkvm --example riscv_opcodes --target ${{ matrix.target }} -- --start 9 --end 10