mirror of https://github.com/rust-lang/rustlings
Merge pull request #1665 from rust-lang/chore/better-ci
chore: consolidate CI workflowspull/1667/head
commit
ae28d2fa2d
@ -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"
|
Loading…
Reference in New Issue