diff options
| author | Antonio Nikishaev | 2020-05-01 04:55:32 +0400 |
|---|---|---|
| committer | Antonio Nikishaev | 2020-05-01 04:55:32 +0400 |
| commit | 38c522dcd78c7b62ad2017ee1eaff864e377e299 (patch) | |
| tree | e36baae5a5c2d9af9a1bdeffda07abde2625a60c /dev | |
| parent | 4a474065cdd12591cf3a45358b0bd446834b2670 (diff) | |
do not re-export ListNotations from Program: vst overlay
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/user-overlays/11992-lelf-no-reexports.sh | 3 |
1 files changed, 3 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 index f929ff99ed..97813388f6 100644 --- a/dev/ci/user-overlays/11992-lelf-no-reexports.sh +++ b/dev/ci/user-overlays/11992-lelf-no-reexports.sh @@ -18,4 +18,7 @@ if [ "$CI_PULL_REQUEST" = "11992" ] || [ "$CI_BRANCH" = "no-reexports" ] || [ "$ 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 |