use proper name for ci

Signed-off-by: Adrien <adrien@huggingface.co>
This commit is contained in:
Adrien 2024-07-22 16:31:17 +02:00
parent 6aebf44f47
commit d2009e2262
No known key found for this signature in database
GPG Key ID: 13A249A288DE0DAB

View File

@ -28,7 +28,7 @@ jobs:
group: ${{ github.workflow }}-build-and-push-image-${{ inputs.hardware }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
runs-on:
group: aws-r6id-8xlarge-priv
group: aws-highmemory-32-plus-priv
permissions:
contents: write
packages: write