mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
b2260d021e
* [protocol] Add PrebuildSettings to ProjectSettings
* add migration function
* add migration function and test
* update protocol helper functions
* update prebuild manager
* use new prebuild setting in frontend
* update papi
* fix papi test
* rename var
* fix papi mapping
* deprecation note
* update migration function
* fix prebuild-manager
* fixup server
* fix Enable Prebuilds on Project Settings
* Use Project.getPrebuildSettings
and
* fix countUnabortedPrebuildsSince
* improve usage of default settings
* fix Build Branches select
* fix papi conversion 🤯
* don't save empty pattern strings
* fix papi-server conversion and align naming of prebuild settings
* fix getPrebuildSettings
* [prebuilds] changed prebuild semantics
- no more incremental prebuilds
- always incremental workspace
- never wait for running prebuilds
---------
Co-authored-by: svenefftinge <sven@gitpod.io>