diff options
author | Scott Wittenburg <scott.wittenburg@kitware.com> | 2022-11-14 19:37:23 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-14 19:37:23 -0700 |
commit | 5c4137baf19b9e271a2f13e886d6b875aab067dd (patch) | |
tree | 26ea318956d4d4f31d72645961ab8a3313b3ba01 /.github | |
parent | a9dcd4c01eefbf7fbabc8e29979ae34f0ab4417d (diff) | |
download | spack-5c4137baf19b9e271a2f13e886d6b875aab067dd.tar.gz spack-5c4137baf19b9e271a2f13e886d6b875aab067dd.tar.bz2 spack-5c4137baf19b9e271a2f13e886d6b875aab067dd.tar.xz spack-5c4137baf19b9e271a2f13e886d6b875aab067dd.zip |
gitlab: Add shared PR mirror to places pipelines look for binaries. (#33746)
While binaries built for PRs that get merged must still be rebuilt
in develop pipelines, they can be used by other PRs that find they
would otherwise need to rebuild them. Now that spackbot is
managing copying PR binaries from merged PRs into a shared location,
keeping it pruned to a reasonable size, and making sure the indices
are up to date, spack can use these mirrors as a potential source
of binaries.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions