diff options
| author | Arthur Cohen <arthur.cohen@embecosm.com> | 2022-06-28 09:23:24 +0200 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2022-06-28 09:23:24 +0200 |
| commit | 7bb99a5b83766eed2f455beb20b45dd0f08edad1 (patch) | |
| tree | 68f05ed1df790db74c9336fa34be982aab2f1c74 | |
| parent | 80a14bd8138553596fd8cf93fcafcb1429d8b30e (diff) | |
| download | gcc-7bb99a5b83766eed2f455beb20b45dd0f08edad1.zip gcc-7bb99a5b83766eed2f455beb20b45dd0f08edad1.tar.gz gcc-7bb99a5b83766eed2f455beb20b45dd0f08edad1.tar.bz2 | |
ci: Temporarily disable Remark CI
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
| -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 |