diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-08-21 19:16:05 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-08-21 19:16:05 +0200 |
| commit | 4fb9d524357958f765763d5816af55f234b026d5 (patch) | |
| tree | 223f3df8986a1fb4352294ff649a6a21e45e56fc /po | |
| parent | 4cdbbfa48d87d9a500288249f228fd19d4371919 (diff) | |
ci: Really honor system type for manifests.
* gnu/ci.scm (manifests->jobs): Pass SYSTEM to 'lower-object'.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions