Skip to content

[DOC-10076] Remove ciphers added by mistake in 7f66b095202cc0eaf657723bf89fab4f129ff8dd #12893

[DOC-10076] Remove ciphers added by mistake in 7f66b095202cc0eaf657723bf89fab4f129ff8dd

[DOC-10076] Remove ciphers added by mistake in 7f66b095202cc0eaf657723bf89fab4f129ff8dd #12893

Workflow file for this run

name: Vale Linting
on: [pull_request]
jobs:
lint:
if: false
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Get changed files
id: changed_files
uses: tj-actions/[email protected]
- name: Calculate changed files to pass to Vale
id: calc_changed_files
run: |
beginning='["'
middle=$(echo ${{ steps.changed_files.outputs.all_changed_files }} | sed 's/ /", "/g')
end='"]'
echo "files_to_change=$beginning$middle$end" >> $GITHUB_ENV
- name: Vale
uses: errata-ai/vale-action@reviewdog
with:
reporter: github-pr-check
filter_mode: added
fail_on_error: false
files: '${{ env.files_to_change }}'
vale_flags: "--no-exit"
env:
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}