2020-10-20 20:14:56 +02:00
|
|
|
name: Docs CI
|
|
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
paths:
|
|
|
|
|
- "cmd/tools/check-md.v"
|
|
|
|
|
- "doc/**"
|
|
|
|
|
- "CHANGELOG.md"
|
|
|
|
|
pull_request:
|
|
|
|
|
paths:
|
|
|
|
|
- "cmd/tools/check-md.v"
|
|
|
|
|
- "doc/**"
|
|
|
|
|
- "CHANGELOG.md"
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
docs-line-len-check:
|
|
|
|
|
runs-on: ubuntu-18.04
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
- name: Build V
|
|
|
|
|
run: make
|
2020-11-03 01:04:14 +01:00
|
|
|
- name: Check docs line length & code examples
|
2020-10-20 20:14:56 +02:00
|
|
|
run: ./v run cmd/tools/check-md.v doc/docs.md doc/upcoming.md CHANGELOG.md
|
