diff options
| author | liv <mokou@fastmail.com> | 2023-09-04 15:02:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-04 15:02:14 +0200 |
| commit | ae28d2fa2de620d368d06d62065bbbacf115855d (patch) | |
| tree | 301ceef251f976c51bb239d92e86932dd6aa10e6 /.github/workflows/lint.yml | |
| parent | 3ad30308ec39dc6f108493fdca7dd133a8b28b8e (diff) | |
| parent | de45998f69ac95cd81175fef9e054c2c77ce82ab (diff) | |
Merge pull request #1665 from rust-lang/chore/better-ci
chore: consolidate CI workflows
Diffstat (limited to '.github/workflows/lint.yml')
| -rw-r--r-- | .github/workflows/lint.yml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml deleted file mode 100644 index 67339d1..0000000 --- a/.github/workflows/lint.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: Lint - -on: - push: - branches: - - main - pull_request: - branches: - - main - -jobs: - lint: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - uses: DavidAnson/markdownlint-cli2-action@v9 - with: - globs: "exercises/**/*.md" |