Ross Burton
827129b05b
CI: support extra kas files from environment
...
Extend jobs-to-kas so the first argument is still the GitLab job name,
but allow further arguments to specify extra Kas files to use in
addition.
Then add a variable EXTRA_KAS_FILES to the CI configuration that
defaults to the empty string and pass this to jobs-to-kas.
This lets specific pipeline runs add extra Kas files, for example to use
experimental branches or enable extra features without touching the CI
directly.
Signed-off-by: Ross Burton <ross.burton@arm.com >
Signed-off-by: Jon Mason <jon.mason@arm.com >
2024-01-26 12:00:23 -05:00
..
2023-12-12 05:00:21 -05:00
2023-12-12 05:00:21 -05:00
2023-11-30 08:48:31 -05:00
2021-08-12 09:49:19 -04:00
2022-01-20 11:41:44 -05:00
2023-11-10 20:03:19 +00:00
2023-10-02 07:00:44 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-07 10:00:06 -04:00
2023-07-04 06:00:16 -04:00
2023-07-24 11:00:21 -04:00
2023-07-04 06:00:16 -04:00
2023-11-03 06:00:40 -04:00
2023-10-24 10:35:40 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-11-13 10:12:13 -06:00
2023-07-04 06:00:16 -04:00
2024-01-26 12:00:23 -05:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2021-08-12 09:49:19 -04:00
2021-04-19 08:12:27 -04:00
2023-10-02 07:00:44 -04:00
2023-12-09 00:05:27 -05:00
2023-11-07 13:00:16 -05:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-09-01 13:00:26 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2021-12-23 10:57:54 +00:00
2023-10-13 13:01:49 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-07-04 06:00:16 -04:00
2023-08-08 11:39:47 -04:00
2023-09-18 08:00:22 -04:00
2023-10-18 11:13:10 -04:00
2023-08-03 08:27:08 +01:00
2023-07-04 06:00:16 -04:00
2023-09-13 11:00:21 -04:00
2023-07-04 06:00:16 -04:00