Reverse order of main vs PR

This commit is contained in:
Jacob Hoffman-Andrews 2023-11-29 17:34:22 -08:00 committed by Joe Birr-Pixton
parent 0861d5fcd1
commit 4736733f22
1 changed files with 8 additions and 8 deletions

View File

@ -15,14 +15,6 @@ jobs:
- name: Install stable toolchain
uses: dtolnay/rust-toolchain@stable
- name: Checkout PR
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Run icount benchmarks for PR
run: cd ci-bench && cargo run --locked --release -- run-all --output-dir ${{ runner.temp }}/pr
- name: Checkout ${{ github.base_ref }}
uses: actions/checkout@v4
with:
@ -33,5 +25,13 @@ jobs:
- name: Run icount benchmarks for ${{ github.base_ref }}
run: cd ci-bench && cargo run --locked --release -- run-all --output-dir ${{ runner.temp }}/base
- name: Checkout PR
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Run icount benchmarks for PR
run: cd ci-bench && cargo run --locked --release -- run-all --output-dir ${{ runner.temp }}/pr
- name: Compare results
run: cd ci-bench && cargo run --locked --release -- compare ${{ runner.temp }}/base ${{ runner.temp }}/pr > $GITHUB_STEP_SUMMARY