diff options
| author | Maxime Dénès | 2017-11-03 10:46:22 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-11-03 10:46:22 +0100 |
| commit | dfa8b118d915b4430b6661b1068932580448c16e (patch) | |
| tree | 7d21643e2631c924214ca9a6c18da44d603d8bc9 /dev/ci/ci-basic-overlay.sh | |
| parent | cc91f5703fa9f51fb0470e6c0d784c8a976fb452 (diff) | |
| parent | 74dc3c610fcd1f4bfb182ba3dc6428f308d0c91f (diff) | |
Merge PR #6031: [ci] Switch back to upstream version of Math-Classes and Corn.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
| -rw-r--r-- | dev/ci/ci-basic-overlay.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 9be882bb3c..5c37b3133e 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -28,11 +28,11 @@ ######################################################################## # Mathclasses + Corn ######################################################################## -: ${math_classes_CI_BRANCH:=external-bignums} -: ${math_classes_CI_GITURL:=https://github.com/letouzey/math-classes.git} +: ${math_classes_CI_BRANCH:=master} +: ${math_classes_CI_GITURL:=https://github.com/math-classes/math-classes.git} -: ${Corn_CI_BRANCH:=external-bignums} -: ${Corn_CI_GITURL:=https://github.com/letouzey/corn.git} +: ${Corn_CI_BRANCH:=master} +: ${Corn_CI_GITURL:=https://github.com/c-corn/corn.git} ######################################################################## # Iris |