From 509d09e479b45484150d3ba8e2ef531e38f51584 Mon Sep 17 00:00:00 2001 From: Olivier Tassinari Date: Mon, 5 Feb 2024 03:18:21 +0100 Subject: [PATCH] [docs-infra] Fail CI on Vale error --- .github/workflows/vale-action.yml | 1 + docs/pages/careers/support-agent.md | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/vale-action.yml b/.github/workflows/vale-action.yml index 2c13e1ddbc7805..2b6d80d8a7f8fa 100644 --- a/.github/workflows/vale-action.yml +++ b/.github/workflows/vale-action.yml @@ -18,6 +18,7 @@ jobs: with: reporter: github-pr-review files: docs/data + fail_on_error: true env: # Required, set by GitHub actions automatically: # https://docs.github.com/en/actions/security-guides/automatic-token-authentication#about-the-github_token-secret diff --git a/docs/pages/careers/support-agent.md b/docs/pages/careers/support-agent.md index c2637a56057a3d..313ad1661ac5a9 100644 --- a/docs/pages/careers/support-agent.md +++ b/docs/pages/careers/support-agent.md @@ -11,7 +11,7 @@ ## The company MUI's story began in 2014 with Material UI, the most successful React implementation of Google's Material Design. -Today, Material UI stands as one of the most popular open-source libraries on GitHub and has paved the way for the fully-fledged startup known as MUI (founded in 2019), which now boasts an ever-expanding ecosystem of React UI products. +Today, Material UI stands as one of the most popular open-source libraries on GitHub and has paved the way for the fully-fledged startup known as MUI (founded in 2019), which now boasts an ever-expanding ecosystem of React UI products. We're a company of 31+ people as of early 2024, and we're growing. ## The products