Gilles Peskine
bf7537d0a9
Use the full config as the baseline for all jobs ...
Start each job from the full config minus some memory management
settings and the job-specific settings.
The original content of config.h no longer influences the
configurations used for the jobs (but it still influences what jobs
may run, in that the set of jobs is partly built by parsing #define
and //#define lines in config.h).
Signed-off-by: Andrzej Kurek <andrzej.kurek@arm.com>
2022-10-19 08:35:08 -04:00
2020-08-19 10:35:41 +02:00
2022-10-14 18:33:01 +02:00
2022-01-07 18:34:12 +01:00
2022-04-14 09:21:38 +02:00
2020-08-19 10:35:41 +02:00
2022-10-13 16:45:05 +01:00
2022-09-18 21:17:09 +02:00
2022-01-07 18:34:12 +01:00
2020-08-19 10:35:41 +02:00
2022-08-08 11:58:21 +01:00
2022-09-18 21:27:37 +02:00
2022-04-14 12:00:17 +02:00
2022-10-13 14:30:26 +01:00
2021-06-28 09:28:33 +01:00
2022-10-19 08:35:08 -04:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2020-08-19 10:35:41 +02:00
2022-10-18 13:38:28 +01:00
2022-09-17 10:38:58 +02:00
2021-10-27 11:45:57 +02:00
2022-06-12 20:53:02 +08:00
2020-08-19 10:35:41 +02:00
2021-06-28 09:28:33 +01:00
2021-08-17 12:44:16 +01:00
2021-08-16 10:37:24 +01:00
2020-08-19 10:35:41 +02:00
2022-05-11 21:25:51 +01:00
2022-10-11 10:48:32 +02:00
2020-12-10 23:16:03 +01:00
2021-06-28 09:28:33 +01:00
2020-08-19 10:35:41 +02:00
2021-06-28 09:28:33 +01:00
2020-12-10 21:30:08 +01:00
2022-05-17 17:23:09 +02:00
2022-04-15 11:10:14 +02:00
2020-08-19 10:35:41 +02:00
2022-03-14 19:49:18 +01:00
2021-09-03 13:30:44 +01:00
2020-08-19 10:35:41 +02:00
bf7537d0a9