mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 13:03:29 +00:00
ci: Use general terms for CircleCI.
GitHub Actions supports doing more than just CI, and so in some contexts it's less obvious that we're talking about just the CI if we refer to it instead of CircleCI.
This commit is contained in:
2
docs/_templates/layout.html
vendored
2
docs/_templates/layout.html
vendored
@@ -8,7 +8,7 @@
|
||||
{% if pagename in ["production/postgresql", "production/video-calls"] and release.endswith('+git') %}
|
||||
{#
|
||||
# This page doesn't exist in the stable documentation yet.
|
||||
# This temporary workaround prevents CircleCI failure and should be removed after the next release.
|
||||
# This temporary workaround prevents test failures and should be removed after the next release.
|
||||
#}
|
||||
<div class="admonition warning">
|
||||
<p class="first admonition-title">Warning</p>
|
||||
|
||||
Reference in New Issue
Block a user