chore: fix the init task for gitpod#21064
chore: fix the init task for gitpod#21064mergify[bot] merged 2 commits intoaws:mainfrom pahud:fix-gitpod-init
Conversation
|
Still a work in progress? |
|
Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork). |
It's fine to merge but the prebuild failes to complete. I am afraid That being said, the prebuild is not gonna work because building everything takes more than 1 hour. When users open the gitpod workspace, it will just automatically kick off the building(you can stop it though). |
AWS CodeBuild CI Report
Powered by github-codebuild-logs, available on the AWS Serverless Application Repository |
|
Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork). |

This PR fixes the init task in
.gitpod.ymlfor gitpod to correctly prebuild and remove the eslint static version pinning.Fixes: #21063
All Submissions:
Adding new Unconventional Dependencies:
New Features
yarn integto deploy the infrastructure and generate the snapshot (i.e.yarn integwithout--dry-run)?By submitting this pull request, I confirm that my contribution is made under the terms of the Apache-2.0 license