https://pantsbuild.org/ logo
#development
Title
# development
h

hundreds-father-404

09/16/2022, 7:20 PM
@ancient-vegetable-10556 does this new approach mean you think global options might work with your
get_option
? I'm trying to figure out what to do with the global option
remote_execution_extra_platform_properties
. (I'll try this out rn)