diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2023-12-10 09:50:51 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2023-12-18 08:14:16 +0200 |
commit | 6e6ccef212b014a0526f93d58f263e238d4eb1cf (patch) | |
tree | f8628f04cc6b15b2d846e65f0e746f8978581930 /.gitignore | |
parent | 502bb9681b80f31d3c579462c863aae32a620c40 (diff) |
gnu: ci: Build tuned packages for common baselines.
* gnu/ci.scm (%x86-64-micro-architectures): Update the list of
micro-architectures to also match the psABI levels.
Change-Id: Iee2f65376a00ad2ee5fb393c2e64c07f866d8116
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions