mirror of
https://github.com/vlang/v.git
synced 2025-09-13 14:32:26 +03:00
ci: add report-missing-dots-in-doc-comments job
This commit is contained in:
parent
3b791be3aa
commit
0fdca4b0dc
1 changed files with 10 additions and 0 deletions
10
.github/workflows/docs_ci.yml
vendored
10
.github/workflows/docs_ci.yml
vendored
|
@ -56,3 +56,13 @@ jobs:
|
|||
run: |
|
||||
# shellcheck disable=SC2086
|
||||
./v missdoc $MOPTIONS pv/vlib vlib
|
||||
|
||||
report-missing-dots-in-doc-comments:
|
||||
runs-on: ubuntu-24.04
|
||||
timeout-minutes: 10
|
||||
steps:
|
||||
- uses: actions/checkout@v4
|
||||
- name: Build V
|
||||
run: make
|
||||
- name: Check doc comment dots for some key modules
|
||||
run: ./v run cmd/tools/find_doc_comments_with_no_dots.v vlib/builtin/ vlib/arrays/ vlib/flag/ vlib/bitfield/
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue