diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-08-03 16:53:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-03 16:53:40 +0200 |
| commit | 0026d60b607f4e6ab67026dfe1126cfcc6afe1c4 (patch) | |
| tree | ee2f7adef07c4458462a5749afbf2f2a71d72a1b /.gitattributes | |
| parent | 15bc4faf2d042bc166c1b1a326dc3c9221e49d34 (diff) | |
| download | spack-0026d60b607f4e6ab67026dfe1126cfcc6afe1c4.tar.gz spack-0026d60b607f4e6ab67026dfe1126cfcc6afe1c4.tar.bz2 spack-0026d60b607f4e6ab67026dfe1126cfcc6afe1c4.tar.xz spack-0026d60b607f4e6ab67026dfe1126cfcc6afe1c4.zip | |
Test bootstrapping in a workflow (#25138)
Add a workflow to test bootstrapping clingo on
different platforms so that we can detect changes
that break it.
Compute `site_packages_dir` in `bootstrap.py` as it was
before #24095, until we figure a better way to override
that attribute.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions