diff options
| author |  Jason Gross <jasongross9@gmail.com> | 2017-06-08 13:07:00 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-06-08 13:07:00 -0400 |
| commit | 29ba5cdc0ea31ea62c727f8dcf53d2c805d4bcb3 (patch) | |
| tree | 8d5275da8c41bb635580d735af70b25e50d89a1a /dev/ci | |
| parent | f371ead0234693ab8f68591d160cc2ee4dd8509f (diff) | |
Remove coq-dpdgraph overlay
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/ci-basic-overlay.sh | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 73a3ba04f..81f4c8717 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -115,11 +115,8 @@ ######################################################################## # coq-dpdgraph ######################################################################## -# Temporary overlay -: ${coq_dpdgraph_CI_BRANCH:=trunk+clobber-test-suite} -: ${coq_dpdgraph_CI_GITURL:=https://github.com/JasonGross/coq-dpdgraph.git} -#: ${coq_dpdgraph_CI_BRANCH:=master} -#: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} +: ${coq_dpdgraph_CI_BRANCH:=coq-trunk} +: ${coq_dpdgraph_CI_GITURL:=https://github.com/Karmaki/coq-dpdgraph.git} ######################################################################## # CoLoR |