Rename env var to RELEASETAG

This commit is contained in:
miampf 2025-02-05 15:27:16 +01:00
parent 74733074d0
commit 461a830a7b
No known key found for this signature in database
GPG Key ID: EF039364B5B6886C

View File

@ -13,12 +13,12 @@ jobs:
check-reproducibility:
runs-on: ubuntu-22.04
env:
REF: ${{ github.event_name == 'workflow_dispatch' ? github.event.inputs.releasetag : github.event.release.tag_name }}
RELEASETAG: ${{ github.event_name == 'workflow_dispatch' ? github.event.inputs.releasetag : github.event.release.tag_name }}
steps:
- name: Checkout
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
ref: ${{ env.REF }}
ref: ${{ env.RELEASETAG }}
- name: Set up bazel
uses: ./.github/actions/setup_bazel_nix
with:
@ -40,7 +40,7 @@ jobs:
cd $(mktemp -d)
echo "Downloading release measurements"
curl -O https://cdn.confidential.cloud/constellation/v2/ref/-/stream/stable/${{ env.REF }}/image/measurements.json
curl -O https://cdn.confidential.cloud/constellation/v2/ref/-/stream/stable/${{ env.RELEASETAG }}/image/measurements.json
# compare all measurements with our own
for directory in $buildPath/system/!(mkosi_wrapper.sh); do