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"