ci: add missing checkout step (#3791)

This commit is contained in:
Moritz Sanft 2025-04-30 11:31:10 +02:00 committed by GitHub
parent 60d1d1c513
commit c5ef866cdc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 8 additions and 1 deletions

View file

@ -17,7 +17,9 @@ jobs:
steps:
- name: Checkout
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
ref: ${{ inputs.ref || github.ref }}
- name: Check reproducibility
uses: ./.github/actions/check_measurements_reproducibility
with:

View file

@ -244,6 +244,11 @@ jobs:
needs: [verify-inputs, os-image]
runs-on: ubuntu-24.04
steps:
- name: Checkout
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
ref: ${{ needs.verify-inputs.outputs.WORKING_BRANCH }}
- name: Check reproducibility
uses: ./.github/actions/check_measurements_reproducibility
with: