Horst Gutmann 4b241804b4 CI: Move some build settings (#64491) ...

* Move some build settings to Vault

* CI: Remove reference to DOWNSTREAM_REPO as it isn't used

2023-03-09 14:07:42 +01:00

..

lib.star

CI: Move some build settings (#64491)

2023-03-09 14:07:42 +01:00