diff options
author | Scott Wittenburg <scott.wittenburg@kitware.com> | 2023-01-10 10:06:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-10 10:06:26 -0700 |
commit | 8f6f77ac9fd2c36a39b86f297645fe10ec21c7cf (patch) | |
tree | 92da60153f94f14cdb8a84bfeddc3d6e7fc15aa4 /.github | |
parent | d0bd8f74cf0ca6c820732473be5f8591bc9fe88c (diff) | |
download | spack-8f6f77ac9fd2c36a39b86f297645fe10ec21c7cf.tar.gz spack-8f6f77ac9fd2c36a39b86f297645fe10ec21c7cf.tar.bz2 spack-8f6f77ac9fd2c36a39b86f297645fe10ec21c7cf.tar.xz spack-8f6f77ac9fd2c36a39b86f297645fe10ec21c7cf.zip |
gitlab ci: fix tags for pipeline generation jobs (#34789)
Gitlab does not merge lists when a job extends two other definitions
that include the same list (e.g. tags). Also, it merges dictionaries
as long as the keys are distinct, but just takes the last mentioned
value when there are key collisions.
This change makes sure that when different tags are needed by a
pipeline, the ones we want are actually provided. It also changes
the example stack to better follow this pattern so we do not lead
developers astray in the future.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions