summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2023-12-10 09:50:51 +0200
committerEfraim Flashner <efraim@flashner.co.il>2023-12-18 08:14:16 +0200
commit6e6ccef212b014a0526f93d58f263e238d4eb1cf (patch)
treef8628f04cc6b15b2d846e65f0e746f8978581930 /.gitignore
parent502bb9681b80f31d3c579462c863aae32a620c40 (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