diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-06-28 08:11:16 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-28 08:11:16 +0000 |
| commit | 65a06a817585faf7fb44fbc1c71173a00f9a407f (patch) | |
| tree | 68f05ed1df790db74c9336fa34be982aab2f1c74 | |
| parent | 80a14bd8138553596fd8cf93fcafcb1429d8b30e (diff) | |
| parent | 7bb99a5b83766eed2f455beb20b45dd0f08edad1 (diff) | |
| download | gcc-65a06a817585faf7fb44fbc1c71173a00f9a407f.zip gcc-65a06a817585faf7fb44fbc1c71173a00f9a407f.tar.gz gcc-65a06a817585faf7fb44fbc1c71173a00f9a407f.tar.bz2 | |
Merge #1341
1341: ci: Temporarily disable Remark CI r=CohenArthur a=CohenArthur
The Remark CI is breaking for seemingly unrelated reasons regarding
JavaScript syntax. Let's disable it in the meantime and investigate so
that our PRs can still get proper feedback
Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>
| -rw-r--r-- | .github/workflows/Remark.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.github/workflows/Remark.yml b/.github/workflows/Remark.yml index 9be51e2..7b13967 100644 --- a/.github/workflows/Remark.yml +++ b/.github/workflows/Remark.yml @@ -26,6 +26,5 @@ jobs: run: npm install remark-cli remark-lint remark-lint-maximum-line-length remark-preset-lint-recommended remark-gfm # Run - - name: Check *.md files - run: git ls-files -z *.md | xargs -0 -n 1 npx remark -u lint -f > /dev/null - + # - name: Check *.md files + # run: git ls-files -z *.md | xargs -0 -n 1 npx remark -u lint -f > /dev/null |