From a131ebf7b66e31dea7d8ccfb9706ad6d8f4a12e0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 6 Feb 2018 18:23:41 +0100 Subject: overlay for ltac2 and Equations --- .../user-overlays/06676-gares-proofview-goals-come-with-a-state.sh | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 dev/ci/user-overlays/06676-gares-proofview-goals-come-with-a-state.sh (limited to 'dev/ci') diff --git a/dev/ci/user-overlays/06676-gares-proofview-goals-come-with-a-state.sh b/dev/ci/user-overlays/06676-gares-proofview-goals-come-with-a-state.sh new file mode 100644 index 000000000..2451657d4 --- /dev/null +++ b/dev/ci/user-overlays/06676-gares-proofview-goals-come-with-a-state.sh @@ -0,0 +1,6 @@ +if [ "$CI_PULL_REQUEST" = "6676" ] || [ "$CI_BRANCH" = "proofview/goal-w-state" ]; then + ltac2_CI_BRANCH=fix-for/6676 + ltac2_CI_GITURL=https://github.com/gares/ltac2.git + Equations_CI_BRANCH=fix-for/6676 + Equations_CI_GITURL=https://github.com/gares/Coq-Equations.git +fi -- cgit v1.2.3