server_config_plus

bencherdev · Feb 7, 2024 · ca0cd63 · ca0cd63
1 parent 4428213
commit ca0cd63
Show file tree

Hide file tree

Showing 40 changed files with 235 additions and 199 deletions.
diff --git a/.github/workflows/bencher.yml b/.github/workflows/bencher.yml
@@ -116,12 +116,14 @@ jobs:
       - name: Windows CLI Download Install Script
         if: matrix.source == 'download' && matrix.os == 'windows-latest'
         run: irm https://bencher.dev/download/install-cli.ps1 | iex
+      - uses: actions/checkout@v4
+        if: matrix.source == 'script'
       - name: Unix CLI Install Script
         if: matrix.source == 'script' && matrix.os != 'windows-latest'
         run: cat services/cli/templates/output/install-cli.sh | sh
       - name: Windows CLI Install Script
         if: matrix.source == 'script' && matrix.os == 'windows-latest'
-        run: gc services/cli/templates/output/install-cli.ps1 | iex
+        run: gc -Raw services/cli/templates/output/install-cli.ps1 | iex
       - name: Run current Bencher CLI GitHub Action
         run: bencher run --project bencher --token ${{ secrets.BENCHER_API_TOKEN }} --dry-run "bencher mock"
 
@@ -433,9 +435,11 @@ jobs:
       - name: Install nightly toolchain
         run: rustup toolchain install nightly
       - name: Install udeps
-        run: cargo install --version 0.1.42 --locked --force cargo-udeps
+        run: cargo install --version 0.1.45 --locked --force cargo-udeps
       - name: Run API udeps
         working-directory: ./services/api
+        # TODO remove once servo error is fixed
+        continue-on-error: true
         run: cargo +nightly udeps --all-targets
       - name: Run CLI udeps
         working-directory: ./services/cli

diff --git a/...c/chunks/reference/de/server-config.4.mdx → ...eference/de/server-config/plus-github.mdx b/...c/chunks/reference/de/server-config.4.mdx → ...eference/de/server-config/plus-github.mdx
@@ -1,7 +1,3 @@
-## `plus`
-
-Dieser Abschnitt betrifft Funktionen, die von der [Bencher Plus-Lizenz](/legal/plus) abgedeckt sind.
-
 ### `plus.github`
 
 Dieser Abschnitt spezifiziert die Konfiguration für [eine GitHub App, die für die OAuth2-Authentifizierung verwendet wird](/docs/de/how-to/github-app/).
@@ -14,15 +10,3 @@ Wenn er nicht angegeben ist, wird die Authentifizierung mit GitHub nicht aktivie
 |   client_id   |          Iv1.12864abcd1232048           |   ---    |      Ja      | Gibt die Client-ID für Ihre GitHub App an. Die Client-ID unterscheidet sich von der App-ID. Sie können die Client-ID auf der Einstellungsseite für Ihre App finden. Weitere Informationen zur Navigation zur Einstellungsseite für Ihre GitHub App finden Sie unter [Ändern einer GitHub App-Registrierung](https://docs.github.com/de/apps/maintaining-github-apps/modifying-a-github-app-registration#navigating-to-your-github-app-settings). |
 | client_secret | 00000abcd12345wxyz123456789abcdefgh0000 |   ---    |      Ja      |                                                                                                                                                           Das Client-Geheimnis für Ihre GitHub App. Sie können ein Client-Geheimnis auf der Einstellungsseite für Ihre App generieren.                                                                                                                                                           |
 
-### `plus.stats`
-
-Dieser Abschnitt gibt an, ob und wann Serverstatistiken gesammelt werden.
-Der gesamte Abschnitt ist optional.
-Wenn nicht angegeben, werden die aufgeführten Standardwerte verwendet.
-Das heißt, Serverstatistiken sind opt-out.
-Setzen Sie `enabled` auf `false`, um die Sammlung von Serverstatistiken zu deaktivieren.
-
-|  Name   | Beispiel | Standard | Erforderlich |                                                      Beschreibung                                                       |
-| :-----: | :------: | :------: | :----------: | :---------------------------------------------------------------------------------------------------------------------: |
-| offset  |  11242   |  11242   |     Nein     | Gibt den Offset von Mitternacht in Sekunden für die Serverstatistiksammlung an. Standardmäßig läuft es um 03:07:22 UTC. |
-| enabled |   true   |   true   |     Nein     |               Steuert, ob Serverstatistiken gesammelt werden. Setzen Sie auf `false`, um sich abzumelden.               |
diff --git a/services/console/src/chunks/reference/de/server-config/plus-stats.mdx b/services/console/src/chunks/reference/de/server-config/plus-stats.mdx
@@ -0,0 +1,12 @@
+### `plus.stats`
+
+Dieser Abschnitt gibt an, ob und wann Serverstatistiken gesammelt werden.
+Der gesamte Abschnitt ist optional.
+Wenn nicht angegeben, werden die aufgeführten Standardwerte verwendet.
+Das heißt, Serverstatistiken sind opt-out.
+Setzen Sie `enabled` auf `false`, um die Sammlung von Serverstatistiken zu deaktivieren.
+
+|  Name   | Beispiel | Standard | Erforderlich |                                                      Beschreibung                                                       |
+| :-----: | :------: | :------: | :----------: | :---------------------------------------------------------------------------------------------------------------------: |
+| offset  |  11242   |  11242   |     Nein     | Gibt den Offset von Mitternacht in Sekunden für die Serverstatistiksammlung an. Standardmäßig läuft es um 03:07:22 UTC. |
+| enabled |   true   |   true   |     Nein     |               Steuert, ob Serverstatistiken gesammelt werden. Setzen Sie auf `false`, um sich abzumelden.               |
diff --git a/services/console/src/chunks/reference/de/server-config/plus.mdx b/services/console/src/chunks/reference/de/server-config/plus.mdx
@@ -0,0 +1,9 @@
+import PlusGitHub from "./plus-github.mdx";
+import PlusStats from "./plus-stats.mdx";
+
+## `plus`
+
+Dieser Abschnitt betrifft Funktionen, die von der [Bencher Plus-Lizenz](/legal/plus) abgedeckt sind.
+
+<PlusGitHub />
+<PlusStats />
diff --git a/...c/chunks/reference/en/server-config.4.mdx → ...eference/en/server-config/plus-github.mdx b/...c/chunks/reference/en/server-config.4.mdx → ...eference/en/server-config/plus-github.mdx
@@ -1,7 +1,3 @@
-## `plus`
-
-This section is for features that are covered by the [Bencher Plus License](/legal/plus).
-
 ### `plus.github`
 
 This section specifies the configuration for [a GitHub App used for OAuth2 authentication](/docs/how-to/github-app/).
@@ -13,16 +9,3 @@ If not specified, then authentication with GitHub will not be enabled.
 | :-----------: | :-------------------------------------: | :-----: | :------: | :-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------: |
 |   client_id   |          Iv1.12864abcd1232048           |   ---   |   Yes    | Specifies the client ID for your GitHub App. The client ID is different from the app ID. You can find the client ID on the settings page for your app. For more information about navigating to the settings page for your GitHub App, see [Modifying a GitHub App registration](https://docs.github.com/en/apps/maintaining-github-apps/modifying-a-github-app-registration#navigating-to-your-github-app-settings). |
 | client_secret | 00000abcd12345wxyz123456789abcdefgh0000 |   ---   |   Yes    |                                                                                                                                                      The client secret for your GitHub App. You can generate a client secret on the settings page for your app.                                                                                                                                                       |
-
-### `plus.stats`
-
-This section specifies if and when server statistics are collected.
-The entire section is optional.
-If not specified, the listed default values will be used.
-That is, server statistics are opt-out.
-Set `enabled` to `false` to disable server statistics.
-
-|  Name   | Example | Default | Required |                                                     Description                                                     |
-| :-----: | :-----: | :-----: | :------: | :-----------------------------------------------------------------------------------------------------------------: |
-| offset  |  11242  |  11242  |    No    | Specifies the offset from midnight in seconds for server statistics collection. By default it runs at 03:07:22 UTC. |
-| enabled |  true   |  true   |    No    |                    Controls whether server statistics are collected. Set to `false` to opt-out.                     |
diff --git a/services/console/src/chunks/reference/en/server-config/plus-stats.mdx b/services/console/src/chunks/reference/en/server-config/plus-stats.mdx
@@ -0,0 +1,12 @@
+### `plus.stats`
+
+This section specifies if and when server statistics are collected.
+The entire section is optional.
+If not specified, the listed default values will be used.
+That is, server statistics are opt-out.
+Set `enabled` to `false` to disable server statistics.
+
+|  Name   | Example | Default | Required |                                                     Description                                                     |
+| :-----: | :-----: | :-----: | :------: | :-----------------------------------------------------------------------------------------------------------------: |
+| offset  |  11242  |  11242  |    No    | Specifies the offset from midnight in seconds for server statistics collection. By default it runs at 03:07:22 UTC. |
+| enabled |  true   |  true   |    No    |                    Controls whether server statistics are collected. Set to `false` to opt-out.                     |
diff --git a/services/console/src/chunks/reference/en/server-config/plus.mdx b/services/console/src/chunks/reference/en/server-config/plus.mdx
@@ -0,0 +1,9 @@
+import PlusGitHub from "./plus-github.mdx";
+import PlusStats from "./plus-stats.mdx";
+
+## `plus`
+
+This section is for features that are covered by the [Bencher Plus License](/legal/plus).
+
+<PlusGitHub />
+<PlusStats />
diff --git a/...c/chunks/reference/es/server-config.4.mdx → ...eference/es/server-config/plus-github.mdx b/...c/chunks/reference/es/server-config.4.mdx → ...eference/es/server-config/plus-github.mdx
@@ -1,7 +1,3 @@
-## `plus`
-
-Esta sección es para las características que están cubiertas por la [Licencia Bencher Plus](/legal/plus).
-
 ### `plus.github`
 
 Esta sección especifica la configuración para [una aplicación de GitHub utilizada para la autenticación OAuth2](/docs/es/how-to/github-app/).
@@ -13,16 +9,3 @@ Si no se especifica, la autenticación con GitHub no estará habilitada.
 | :-----------: | :-------------------------------------: | :------------: | :-------: | :-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------: |
 |   client_id   |          Iv1.12864abcd1232048           |      ---       |    Sí     | Especifica el ID de cliente de tu aplicación de GitHub. El ID de cliente es diferente del ID de la aplicación. Puedes encontrar el ID de cliente en la página de configuración de tu aplicación. Para más información sobre cómo navegar a la página de configuración de tu aplicación de GitHub, consulta [Modificar el registro de una aplicación de GitHub](https://docs.github.com/es/apps/maintaining-github-apps/modifying-a-github-app-registration#navigating-to-your-github-app-settings). |
 | client_secret | 00000abcd12345wxyz123456789abcdefgh0000 |      ---       |    Sí     |                                                                                                                                                                              El secreto de cliente para tu aplicación de GitHub. Puedes generar un secreto de cliente en la página de configuración de tu aplicación.                                                                                                                                                                               |
-
-### `plus.stats`
-
-Esta sección especifica si y cuándo se recogen las estadísticas del servidor.
-Toda la sección es opcional.
-Si no se especifica, se utilizarán los valores predeterminados listados.
-Es decir, las estadísticas del servidor son de opt-out.
-Establece `enabled` en `false` para desactivar las estadísticas del servidor.
-
-| Nombre  | Ejemplo | Predeterminado | Obligatorio |                                                                       Descripción                                                                       |
-| :-----: | :-----: | :------------: | :---------: | :-----------------------------------------------------------------------------------------------------------------------------------------------------: |
-| offset  |  11242  |     11242      |     No      | Especifica el desplazamiento desde la medianoche en segundos para la recogida de estadísticas del servidor. Por defecto, se ejecuta a las 03:07:22 UTC. |
-| enabled |  true   |      true      |     No      |                        Controla si se recogen las estadísticas del servidor. Establece en `false` para optar por no participar.                         |
diff --git a/services/console/src/chunks/reference/es/server-config/plus-stats.mdx b/services/console/src/chunks/reference/es/server-config/plus-stats.mdx
@@ -0,0 +1,12 @@
+### `plus.stats`
+
+Esta sección especifica si y cuándo se recogen las estadísticas del servidor.
+Toda la sección es opcional.
+Si no se especifica, se utilizarán los valores predeterminados listados.
+Es decir, las estadísticas del servidor son de opt-out.
+Establece `enabled` en `false` para desactivar las estadísticas del servidor.
+
+| Nombre  | Ejemplo | Predeterminado | Obligatorio |                                                                       Descripción                                                                       |
+| :-----: | :-----: | :------------: | :---------: | :-----------------------------------------------------------------------------------------------------------------------------------------------------: |
+| offset  |  11242  |     11242      |     No      | Especifica el desplazamiento desde la medianoche en segundos para la recogida de estadísticas del servidor. Por defecto, se ejecuta a las 03:07:22 UTC. |
+| enabled |  true   |      true      |     No      |                        Controla si se recogen las estadísticas del servidor. Establece en `false` para optar por no participar.                         |
diff --git a/services/console/src/chunks/reference/es/server-config/plus.mdx b/services/console/src/chunks/reference/es/server-config/plus.mdx
@@ -0,0 +1,9 @@
+import PlusGitHub from "./plus-github.mdx";
+import PlusStats from "./plus-stats.mdx";
+
+## `plus`
+
+Esta sección es para las características que están cubiertas por la [Licencia Bencher Plus](/legal/plus).
+
+<PlusGitHub />
+<PlusStats />
diff --git a/...c/chunks/reference/fr/server-config.4.mdx → ...eference/fr/server-config/plus-github.mdx b/...c/chunks/reference/fr/server-config.4.mdx → ...eference/fr/server-config/plus-github.mdx
@@ -1,7 +1,3 @@
-## `plus`
-
-Cette section concerne les fonctionnalités couvertes par la [Licence Bencher Plus](/legal/plus).
-
 ### `plus.github`
 
 Cette section spécifie la configuration pour [une application GitHub utilisée pour l'authentification OAuth2](/docs/fr/how-to/github-app/).
@@ -13,16 +9,3 @@ Si elle n'est pas spécifiée, alors l'authentification avec GitHub ne sera pas
 | :-----------: | :-------------------------------------: | :--------: | :----: | :-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------: |
 |   client_id   |          Iv1.12864abcd1232048           |    ---     |  Oui   | Spécifie l'ID client de votre application GitHub. L'ID client est différent de l'ID de l'application. Vous pouvez trouver l'ID client sur la page des paramètres de votre application. Pour plus d'informations sur la manière de naviguer vers la page des paramètres de votre application GitHub, consultez [Modifiant une inscription d'application GitHub](https://docs.github.com/fr/apps/maintaining-github-apps/modifying-a-github-app-registration#navigating-to-your-github-app-settings). |
 | client_secret | 00000abcd12345wxyz123456789abcdefgh0000 |    ---     |  Oui   |                                                                                                                                                                                 Le secret client de votre application GitHub. Vous pouvez générer un secret client sur la page des paramètres de votre application.                                                                                                                                                                                 |
-
-### `plus.stats`
-
-Cette section spécifie si et quand les statistiques du serveur sont collectées.
-L'ensemble de la section est facultatif.
-Si non spécifié, les valeurs par défaut énumérées seront utilisées.
-C'est-à-dire que les statistiques du serveur sont opt-out.
-Mettez `enabled` sur `false` pour désactiver les statistiques du serveur.
-
-|   Nom   | Exemple | Par défaut | Requis |                                                              Description                                                              |
-| :-----: | :-----: | :--------: | :----: | :-----------------------------------------------------------------------------------------------------------------------------------: |
-| offset  |  11242  |   11242    |  Non   | Spécifie le décalage depuis minuit en secondes pour la collecte des statistiques du serveur. Par défaut, il s'éxécute à 03:07:22 UTC. |
-| enabled |  true   |    true    |  Non   |                       Contrôle si les statistiques du serveur sont collectées. Mettez sur `false` pour opt-out.                       |
diff --git a/services/console/src/chunks/reference/fr/server-config/plus-stats.mdx b/services/console/src/chunks/reference/fr/server-config/plus-stats.mdx
@@ -0,0 +1,12 @@
+### `plus.stats`
+
+Cette section spécifie si et quand les statistiques du serveur sont collectées.
+L'ensemble de la section est facultatif.
+Si non spécifié, les valeurs par défaut énumérées seront utilisées.
+C'est-à-dire que les statistiques du serveur sont opt-out.
+Mettez `enabled` sur `false` pour désactiver les statistiques du serveur.
+
+|   Nom   | Exemple | Par défaut | Requis |                                                              Description                                                              |
+| :-----: | :-----: | :--------: | :----: | :-----------------------------------------------------------------------------------------------------------------------------------: |
+| offset  |  11242  |   11242    |  Non   | Spécifie le décalage depuis minuit en secondes pour la collecte des statistiques du serveur. Par défaut, il s'éxécute à 03:07:22 UTC. |
+| enabled |  true   |    true    |  Non   |                       Contrôle si les statistiques du serveur sont collectées. Mettez sur `false` pour opt-out.                       |
diff --git a/services/console/src/chunks/reference/fr/server-config/plus.mdx b/services/console/src/chunks/reference/fr/server-config/plus.mdx
@@ -0,0 +1,9 @@
+import PlusGitHub from "./plus-github.mdx";
+import PlusStats from "./plus-stats.mdx";
+
+## `plus`
+
+Cette section concerne les fonctionnalités couvertes par la [Licence Bencher Plus](/legal/plus).
+
+<PlusGitHub />
+<PlusStats />