if [ "$CI_PULL_REQUEST" = "8817" ] || [ "$CI_BRANCH" = "sprop" ]; then
aac_tactics_CI_REF=sprop
aac_tactics_CI_GITURL=https://github.com/SkySkimmer/aac-tactics
coq_dpdgraph_CI_REF=sprop
coq_dpdgraph_CI_GITURL=https://github.com/SkySkimmer/coq-dpdgraph
coqhammer_CI_REF=sprop
coqhammer_CI_GITURL=https://github.com/SkySkimmer/coqhammer
elpi_CI_REF=sprop
elpi_CI_GITURL=https://github.com/SkySkimmer/coq-elpi
equations_CI_REF=sprop
equations_CI_GITURL=https://github.com/SkySkimmer/Coq-Equations
ltac2_CI_REF=sprop
ltac2_CI_GITURL=https://github.com/SkySkimmer/ltac2
unicoq_CI_REF=sprop
unicoq_CI_GITURL=https://github.com/SkySkimmer/unicoq
mtac2_CI_REF=sprop
mtac2_CI_GITURL=https://github.com/SkySkimmer/mtac2
paramcoq_CI_REF=sprop
paramcoq_CI_GITURL=https://github.com/SkySkimmer/paramcoq
quickchick_CI_REF=sprop
quickchick_CI_GITURL=https://github.com/SkySkimmer/QuickChick
relation_algebra_CI_REF=sprop
relation_algebra_CI_GITURL=https://github.com/SkySkimmer/relation-algebra
fi
¤ Dauer der Verarbeitung: 0.25 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
