summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorAdam J. Stewart <ajstewart426@gmail.com>2022-06-08 22:33:56 -0700
committerGitHub <noreply@github.com>2022-06-09 07:33:56 +0200
commit57822d3014f05d595bc7d6b71c048e4034f5247f (patch)
tree5aa02edad9fc66944e121c8592300a276c34f913 /.github
parent3fdb3f832af56a4afc38da1691fff3ca6596bf20 (diff)
downloadspack-57822d3014f05d595bc7d6b71c048e4034f5247f.tar.gz
spack-57822d3014f05d595bc7d6b71c048e4034f5247f.tar.bz2
spack-57822d3014f05d595bc7d6b71c048e4034f5247f.tar.xz
spack-57822d3014f05d595bc7d6b71c048e4034f5247f.zip
clingo: fix ~python build (#30824)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/bootstrap.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/bootstrap.yml b/.github/workflows/bootstrap.yml
index fce8c81d1f..4aeb013a56 100644
--- a/.github/workflows/bootstrap.yml
+++ b/.github/workflows/bootstrap.yml
@@ -12,6 +12,7 @@ on:
# built-in repository or documentation
- 'var/spack/repos/builtin/**'
- '!var/spack/repos/builtin/packages/clingo-bootstrap/**'
+ - '!var/spack/repos/builtin/packages/clingo/**'
- '!var/spack/repos/builtin/packages/python/**'
- '!var/spack/repos/builtin/packages/re2c/**'
- 'lib/spack/docs/**'