mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
235655e250
* [dev image] fix prebuilds & include build output of dev/* in Github Action Summary Fixes prebuilds by leveraging the latest workspace-full. It also adds `pup` to our dev image, so we can more parse HTML files using CSS selectors. Lastly, it adds the output of dev/* builds to our Github Action summary, while removing the output from dev/image, which is too large. * A couple more dev-environment references