diff options
author | Eric Erhardt <eric.erhardt@microsoft.com> | 2021-10-27 22:45:08 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-27 22:45:08 +0300 |
commit | 8f8e8f0493144d87ea06676fec367bdbeeb5ad89 (patch) | |
tree | 8f438e8f7fa9e0f31f98708cfc6eeb731c7f6a1d /.github | |
parent | 69270ff14b61d0627cf932e15d9e0effdcb48555 (diff) |
Update Codespaces configuration (#60900)
- mark onCreateCommand.sh as executable
- add more regions so users outside of West US can take advantage of prebuilt codespaces
- use v1-stable version, as recommended by docs
- use faster machines for dev productivity
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/create-codespaces-prebuild.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/create-codespaces-prebuild.yml b/.github/workflows/create-codespaces-prebuild.yml index 6b55740121c..db269106e05 100644 --- a/.github/workflows/create-codespaces-prebuild.yml +++ b/.github/workflows/create-codespaces-prebuild.yml @@ -9,9 +9,9 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v2 - - uses: github/codespaces-precache@v1.0.1 + - uses: github/codespaces-precache@v1-stable with: - regions: WestUs2 - sku_name: standardLinux32gb + regions: WestUs2 EastUs WestEurope + sku_name: premiumLinux env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |