diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-12-04 19:01:14 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-01-01 15:23:24 +0100 |
| commit | 6756c64a8f1a22f74ea3bcb8bfb00f229ad6f6c5 (patch) | |
| tree | ce34ca8754920cde6b9e59c1fc3a48948efd5b1f /gnu/platforms | |
| parent | d090e9c37d693f5a0f381482c17fb03462cb6a48 (diff) | |
| download | guix-6756c64a8f1a22f74ea3bcb8bfb00f229ad6f6c5.tar.gz guix-6756c64a8f1a22f74ea3bcb8bfb00f229ad6f6c5.zip | |
ci: Add extra jobs for tunable packages.
This allows us to provide substitutes for tuned package variants.
* gnu/ci.scm (package-job): Add #:suffix and honor it.
(package->job): Add #:suffix and honor it.
(%x86-64-micro-architectures): New variable.
(tuned-package-jobs): New procedure.
(cuirass-jobs): Add jobs for tunable packages.
Diffstat (limited to 'gnu/platforms')
0 files changed, 0 insertions, 0 deletions