diff options
| author | Pierre-Marie Pédrot | 2019-10-14 07:05:01 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-14 07:05:01 +0200 |
| commit | 54e31c28bf21caf7f8fcff1fcf4b415fed66dc3a (patch) | |
| tree | 038374a730db66e8a2284f7b186925a654a7369e /dev/ci | |
| parent | 7623da4448381955ef063dcce6f4263d91fe0d74 (diff) | |
| parent | 825d0737069debb8e16c44cd49ad3a273211f76c (diff) | |
Merge PR #10811: Allow SProp default on
Reviewed-by: Zimmi48
Reviewed-by: ejgallego
Reviewed-by: ppedrot
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/user-overlays/10811-SkySkimmer-sprop-default-on.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/dev/ci/user-overlays/10811-SkySkimmer-sprop-default-on.sh b/dev/ci/user-overlays/10811-SkySkimmer-sprop-default-on.sh new file mode 100644 index 0000000000..d7af6b7a36 --- /dev/null +++ b/dev/ci/user-overlays/10811-SkySkimmer-sprop-default-on.sh @@ -0,0 +1,9 @@ +if [ "$CI_PULL_REQUEST" = "10811" ] || [ "$CI_BRANCH" = "sprop-default-on" ]; then + + elpi_CI_REF=sprop-default-on + elpi_CI_GITURL=https://github.com/SkySkimmer/coq-elpi + + coq_dpdgraph_CI_REF=sprop-default-on + coq_dpdgraph_CI_GITURL=https://github.com/SkySkimmer/coq-dpdgraph + +fi |