From 95cc535fc7088520e4676eb95146699495dcc868 Mon Sep 17 00:00:00 2001 From: Larpon Date: Wed, 25 May 2022 18:07:07 +0200 Subject: [PATCH] ci: use missdoc as subcmd (#14524) --- .github/workflows/docs_ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/docs_ci.yml b/.github/workflows/docs_ci.yml index 8422e25b7d..6fb54553ca 100644 --- a/.github/workflows/docs_ci.yml +++ b/.github/workflows/docs_ci.yml @@ -35,8 +35,8 @@ jobs: - name: Check against parent commit run: | - ./v run cmd/tools/missdoc.v $MOPTIONS | sort > /tmp/n_v.txt - cd pv/ && ../v run ../cmd/tools/missdoc.v $MOPTIONS | sort > /tmp/o_v.txt + ./v missdoc $MOPTIONS | sort > /tmp/n_v.txt + cd pv/ && ../v missdoc $MOPTIONS | sort > /tmp/o_v.txt count_new=$(cat /tmp/n_v.txt | wc -l) count_old=$(cat /tmp/o_v.txt | wc -l) echo "new pubs: $count_new | old pubs: $count_old"