Skip to content

sandbox: Do not silently drop platform properties#2013

Merged
juergbi merged 1 commit intomasterfrom
jbilleter/reapi-platform
May 23, 2025
Merged

sandbox: Do not silently drop platform properties#2013
juergbi merged 1 commit intomasterfrom
jbilleter/reapi-platform

Conversation

@juergbi
Copy link
Contributor

@juergbi juergbi commented May 23, 2025

For remote execution, there is currently no way to determine what platform properties are supported. Silently dropping platform properties that may or may not be supported can result in build behavior differences or confusing errors.

This code was originally added before the build-uid and build-gid sandbox configuration was made optional to not break remote execution. However, now that the corresponding platform properties are only set if requested by the project or element, it's better to fail the build than to ignore the setting.

For remote execution, there is currently no way to determine what
platform properties are supported. Silently dropping platform properties
that may or may not be supported can result in build behavior
differences or confusing errors.

This code was originally added before the `build-uid` and `build-gid`
sandbox configuration was made optional to not break remote execution.
However, now that the corresponding platform properties are only set if
requested by the project or element, it's better to fail the build than
to ignore the setting.
@juergbi juergbi merged commit f899c14 into master May 23, 2025
17 checks passed
@juergbi juergbi deleted the jbilleter/reapi-platform branch May 23, 2025 11:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants