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 /.mypy.ini | |
| 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 '.mypy.ini')
0 files changed, 0 insertions, 0 deletions