2020-10-20 21:14:56 +03:00
|
|
|
name: Docs CI
|
|
|
|
|
|
2020-11-27 12:52:56 +03:00
|
|
|
### Run on *EVERY* commit. The documentation *SHOULD* stay valid, and
|
|
|
|
|
### the developers should receive early warning if they break it.
|
|
|
|
|
on: [push, pull_request]
|
2020-10-20 21:14:56 +03:00
|
|
|
|
|
|
|
|
jobs:
|
2020-11-18 20:28:28 +03:00
|
|
|
check-markdown:
|
2021-07-19 13:19:03 +03:00
|
|
|
runs-on: ubuntu-20.04
|
2020-11-19 11:36:30 +03:00
|
|
|
timeout-minutes: 5
|
2020-10-20 21:14:56 +03:00
|
|
|
steps:
|
2021-07-19 13:26:36 +03:00
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
- name: Build V
|
|
|
|
|
run: make
|
|
|
|
|
- name: Check markdown line length & code examples
|
|
|
|
|
run: ./v check-md -hide-warnings .
|
|
|
|
|
## NB: -hide-warnings is used here, so that the output is less noisy,
|
|
|
|
|
## thus real errors are easier to spot.
|
