diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0b536357a0..3b477b24a3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -38,10 +38,10 @@ jobs: run: ./v version && ./vmaster/v version - name: Build the repeat tool run: ./v cmd/tools/repeat.v - - name: Repeat -o v.c cmd/v - run: cmd/tools/repeat --series 2 --count 10 --warmup 3 --fail_percent 10 './v -show-timings -o v.c cmd/v' './vmaster/v -show-timings -o v.c cmd/v' - name: Repeat -o hw.c examples/hello_world.v - run: cmd/tools/repeat --series 2 --count 10 --warmup 3 --fail_percent 10 './v -show-timings -o hw.c examples/hello_world.v' './vmaster/v -show-timings -o hw.c examples/hello_world.v' + run: cmd/tools/repeat --series 3 --count 15 --warmup 3 --fail_percent 10 './v -show-timings -o hw.c examples/hello_world.v' './vmaster/v -show-timings -o hw.c examples/hello_world.v' + - name: Repeat -o v.c cmd/v + run: cmd/tools/repeat --series 3 --count 15 --warmup 3 --fail_percent 10 './v -show-timings -o v.c cmd/v' './vmaster/v -show-timings -o v.c cmd/v' ubuntu-tcc: runs-on: ubuntu-18.04