diff options
| author | Antonio Nikishaev | 2020-05-13 15:51:32 +0400 |
|---|---|---|
| committer | Antonio Nikishaev | 2020-05-13 15:51:32 +0400 |
| commit | 7510aa6d49cbc48962ee29949b61f1bed2b27e1a (patch) | |
| tree | 0f3ebcbaf2beb595eb59d3e1cba924eb4725f5f7 /dev | |
| parent | 38c522dcd78c7b62ad2017ee1eaff864e377e299 (diff) | |
do not re-export ListNotations from Program: kill overlays
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/user-overlays/11992-lelf-no-reexports.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/dev/ci/user-overlays/11992-lelf-no-reexports.sh b/dev/ci/user-overlays/11992-lelf-no-reexports.sh deleted file mode 100644 index 97813388f6..0000000000 --- a/dev/ci/user-overlays/11992-lelf-no-reexports.sh +++ /dev/null @@ -1,24 +0,0 @@ -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 - - vst_CI_REF=no-reexports - vst_CI_GITURL=https://github.com/llelf/VST - -fi |