2020-10-20 20:14:56 +02:00
|
|
|
name: Docs CI
|
|
|
|
|
|
2020-11-27 10:52:56 +01: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 20:14:56 +02:00
|
|
|
|
|
|
|
|
jobs:
|
2020-11-18 18:28:28 +01:00
|
|
|
check-markdown:
|
2021-07-19 12:19:03 +02:00
|
|
|
runs-on: ubuntu-20.04
|
2020-11-19 09:36:30 +01:00
|
|
|
timeout-minutes: 5
|
2020-10-20 20:14:56 +02:00
|
|
|
steps:
|
2021-07-19 12:26:36 +02: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.
|
