diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-08-21 15:37:11 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-08-21 16:16:47 +0200 |
| commit | 97f062f33c4243fb1fcb53e0806bdf6cd08ac9d6 (patch) | |
| tree | 708dae07c1476ef926931e75851747f2535d52d0 /gnu.scm | |
| parent | df2117b8e0e9a35ef8be7f122a783190cafed669 (diff) | |
ci: Honor user-specific systems for manifests.
* gnu/ci.scm (manifests->jobs): Add 'systems' argument.
[manifest-entry->job]: Add 'system' and honor it.
Honor it.
(cuirass-jobs): Pass SYSTEMS to 'manifests->jobs'.
Diffstat (limited to 'gnu.scm')
0 files changed, 0 insertions, 0 deletions