Merge pull request #1686 from gerhard/europa-docs-ci-environment

Rename CI/CD platform to CI environment
This commit is contained in:
Gerhard Lazu 2022-03-04 18:35:06 +00:00 committed by GitHub
commit d8af79166e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 7 deletions

View File

@ -1,14 +1,14 @@
---
slug: /1201/ci-cd-platform
slug: /1201/ci-environment
displayed_sidebar: europa
---
# From local dev to CI/CD platform
# From local dev to CI environment
import Tabs from '@theme/Tabs'; import TabItem from '@theme/TabItem';
<Tabs defaultValue="github-actions"
groupId="ci-cd-platform"
groupId="ci-environment"
values={[
{label: 'GitHub Actions', value: 'github-actions'},
{label: 'CircleCI', value: 'circleci'},
@ -23,13 +23,13 @@ Since Dagger early access required a GitHub account, GitHub Actions seems like a
<TabItem value="circleci">
If you would like us to document this CI/CD platform next, mention it here: [dagger#1677](https://github.com/dagger/dagger/discussions/1677)
If you would like us to document this CI environment next, mention it here: [dagger#1677](https://github.com/dagger/dagger/discussions/1677)
</TabItem>
<TabItem value="gitlab">
If you would like us to document this CI/CD platform next, mention it here: [dagger#1677](https://github.com/dagger/dagger/discussions/1677)
If you would like us to document this CI environment next, mention it here: [dagger#1677](https://github.com/dagger/dagger/discussions/1677)
</TabItem>

View File

@ -67,7 +67,7 @@ module.exports = {
{
type: "link",
label: "🆕 Dagger Europa 🆕",
href: "/1201/ci-cd-platform",
href: "/1201/ci-environment",
},
],
europa: [
@ -78,7 +78,7 @@ module.exports = {
collapsed: false,
items: [
"getting-started/local-ci",
"getting-started/ci-cd-platform"
"getting-started/ci-environment"
],
},
{