Rename CI/CD platform to CI environment

As discussed here:
https://github.com/dagger/dagger.io/issues/38#issuecomment-1057469048

Signed-off-by: Gerhard Lazu <gerhard@lazu.co.uk>

docs/getting-started/1201-ci-environment.md

@@ -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>
 

website/sidebars.js

@@ -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"
       ],
     },
     {