if [ "$CI_PULL_REQUEST" = "9678" ] || [ "$CI_BRANCH" = "printed-by-env" ]; then
elpi_CI_REF=printed-by-env
elpi_CI_GITURL=https://github.com/maximedenes/coq-elpi
equations_CI_REF=printed-by-env
equations_CI_GITURL=https://github.com/maximedenes/Coq-Equations
ltac2_CI_REF=printed-by-env
ltac2_CI_GITURL=https://github.com/maximedenes/ltac2
quickchick_CI_REF=printed-by-env
quickchick_CI_GITURL=https://github.com/maximedenes/QuickChick
fi
¤ Dauer der Verarbeitung: 0.37 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.
|
