docs: fix checksrc warning, fix checkdocs CI filter

Also:
- GHA/checkdocs: fix CI filters to catch it early.
  Follow-up to 28dd14aafe #15797

Closes #19533
This commit is contained in:
Viktor Szakats 2025-11-14 17:09:50 +01:00
parent af4c789e00
commit 231e8a71e1
No known key found for this signature in database
GPG key ID: B5ABD165E2AEF201
2 changed files with 3 additions and 2 deletions

View file

@ -14,6 +14,7 @@ name: 'Docs'
- '*/ci'
paths:
- '.github/workflows/checkdocs.yml'
- '.github/scripts/**'
- '.github/scripts/mdlinkcheck'
- '/scripts/**'
- '**.md'
@ -25,6 +26,7 @@ name: 'Docs'
- '.github/workflows/checkdocs.yml'
- '.github/scripts/**'
- '.github/scripts/mdlinkcheck'
- '/scripts/**'
- '**.md'
- 'docs/*'

View file

@ -85,8 +85,7 @@ int main(void)
break;
}
/* if there are still transfers, loop */
} while(still_running);
} while(still_running); /* if there are still transfers, loop */
}
}
~~~