diff options
| author | Antonio Nikishaev | 2020-04-28 11:28:56 +0400 |
|---|---|---|
| committer | Antonio Nikishaev | 2020-04-30 13:26:00 +0400 |
| commit | 7776cf759195afb4de8f2949c7bab87feb9aa9b8 (patch) | |
| tree | 6332db4215cc07a2ae69360273cff068624b36e4 /dev | |
| parent | b50075866384ee5a35c0fd0147cb607d4e4977d2 (diff) | |
do not re-export ListNotations from Program: overlays
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/user-overlays/11992-lelf-no-reexports.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/dev/ci/user-overlays/11992-lelf-no-reexports.sh b/dev/ci/user-overlays/11992-lelf-no-reexports.sh new file mode 100644 index 0000000000..f929ff99ed --- /dev/null +++ b/dev/ci/user-overlays/11992-lelf-no-reexports.sh @@ -0,0 +1,21 @@ +if [ "$CI_PULL_REQUEST" = "11992" ] || [ "$CI_BRANCH" = "no-reexports" ] || [ "$CI_BRANCH" = "no-reexports.r" ]; then + + compcert_CI_REF=no-reexports + compcert_CI_GITURL=https://github.com/llelf/CompCert + + color_CI_REF=no-reexports + color_CI_GITURL=https://github.com/llelf/color + + math_classes_CI_REF=no-reexports + math_classes_CI_GITURL=https://github.com/llelf/math-classes + + equations_CI_REF=no-reexports + equations_CI_GITURL=https://github.com/llelf/Coq-Equations + + ext_lib_CI_REF=no-reexports + ext_lib_CI_GITURL=https://github.com/llelf/coq-ext-lib + + fiat_parsers_CI_REF=no-reexports + fiat_parsers_CI_GITURL=https://github.com/llelf/fiat + +fi |