Skip to content

Fix problems due to multiple matches in filename filters #240

Fix problems due to multiple matches in filename filters

Fix problems due to multiple matches in filename filters #240

Workflow file for this run

name: Validation
on:
pull_request:
branches:
- main
jobs:
pre_commit:
name: Check formatting
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/[email protected]
with:
python-version: "3.8"
- uses: pre-commit/[email protected]
docs_link_check:
name: Check URLs in docs
runs-on: ubuntu-latest
permissions:
contents: read
steps:
- name: checkout
uses: actions/checkout@v4
- name: Check links
uses: lycheeverse/[email protected]
env:
GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
with:
args: --exclude-mail --accept=401 --no-progress --exclude 'https://cs.github.com/hugsy/gef\?q=.*' 'docs/**/*.md'
fail: false