diff options
author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-06-18 14:55:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-18 12:55:31 +0000 |
commit | 57467d05e14baeae963fc3b77db2928feae91abe (patch) | |
tree | de987cdca9f143979c7a51b0f1662e83e2eceb5c /.readthedocs.yml | |
parent | 9750459e05ce233bcca13d2ba70bc7a337644d70 (diff) | |
download | spack-57467d05e14baeae963fc3b77db2928feae91abe.tar.gz spack-57467d05e14baeae963fc3b77db2928feae91abe.tar.bz2 spack-57467d05e14baeae963fc3b77db2928feae91abe.tar.xz spack-57467d05e14baeae963fc3b77db2928feae91abe.zip |
Disable magma in the E4S pipeline (#24395)
Building magma has been failing consistently and is currently
blocking PRs from being merged. Disable that spec while we
investigate the failure and work on a fix.
Diffstat (limited to '.readthedocs.yml')
0 files changed, 0 insertions, 0 deletions