diff options
| author | Gaëtan Gilbert | 2019-06-12 14:52:30 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-06-12 14:52:30 +0200 |
| commit | c049fa922fd1a12a4a5faddcd06b3475d0529cf6 (patch) | |
| tree | d4290b00dc4139fb40f1a516fa04b5f0f7d8cac2 /dev/ci/user-overlays | |
| parent | 288f567897a8af92a4a0c78c63a433b6f64af0d0 (diff) | |
| parent | c80a4599dfe5f3049323dd1aedf38e3072525d4f (diff) | |
Merge PR #10358: [docker] update elpi to 1.3.1
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev/ci/user-overlays')
| -rw-r--r-- | dev/ci/user-overlays/10358-gares-elpi13.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/ci/user-overlays/10358-gares-elpi13.sh b/dev/ci/user-overlays/10358-gares-elpi13.sh new file mode 100644 index 0000000000..d2ba9b5ddf --- /dev/null +++ b/dev/ci/user-overlays/10358-gares-elpi13.sh @@ -0,0 +1,6 @@ +if [ "$CI_PULL_REQUEST" = "10358" ] || [ "$CI_BRANCH" = "elpi-13-coq" ]; then + + elpi_CI_REF="elpi-13-coq" + elpi_CI_GITURL=https://github.com/LPCIC/coq-elpi + +fi |