message: Try to get the correct group ID
diff: @@ -2,12 +2,10 @@ parameters:
  target: ""
  steps:
  - # 119 is GID of special "sgx_prv" group on underlying VM that is
  - # required to run SGX on kernel > 5.11
  - ${{ if eq(parameters.target, 'SGX') }}:
  - script: |
  set -ex
  - sudo groupadd -g 119 sgx_prv
  + sudo groupadd -fg $(/usr/bin/stat -Lc '%g' /dev/sgx/provision) sgx_prv
  sudo usermod -a -G sgx_prv $(whoami)
  displayName: SGX Group
  condition: succeededOrFailed()
  