diff options
| author | Matthieu Sozeau | 2019-02-08 10:44:23 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2019-02-08 10:44:23 +0100 |
| commit | d1d32f552064b9907fc9815b7412b9a9cde4a0dd (patch) | |
| tree | c4a4b20e92547abae487f8bb1115ba34382f0bfd /dev | |
| parent | 79b6317f738b6d2d7fdaaaad2cef79a092ec8c77 (diff) | |
| parent | 40ed1b7c5e94f418f9b758ffe1a86e4ad7743267 (diff) | |
Merge PR #9410: Make `Program` a regular attribute
Ack-by: SkySkimmer
Reviewed-by: aspiwack
Reviewed-by: ejgallego
Reviewed-by: gares
Reviewed-by: mattam82
Ack-by: maximedenes
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/user-overlays/09410-maximedenes-thread-program.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev/ci/user-overlays/09410-maximedenes-thread-program.sh b/dev/ci/user-overlays/09410-maximedenes-thread-program.sh new file mode 100644 index 0000000000..985c2db74e --- /dev/null +++ b/dev/ci/user-overlays/09410-maximedenes-thread-program.sh @@ -0,0 +1,13 @@ +if [ "$CI_PULL_REQUEST" = "9410" ] || [ "$CI_BRANCH" = "thread-program" ]; then + + math_classes_CI_REF=program-mode-flag + math_classes_CI_GITURL=https://github.com/maximedenes/math-classes + + ltac2_CI_REF=program-mode-flag + ltac2_CI_GITURL=https://github.com/maximedenes/ltac2 + + + equations_CI_REF=thread-program + equations_CI_GITURL=https://github.com/maximedenes/Coq-Equations + +fi |