CI: Fix executable perms for various files

2025-12-30 18:30:54 +00:00 · 2025-12-15 11:07:07 -06:00
parent 8aa4a5207f
commit aeef4fff6d
18 changed files with 22 additions and 16 deletions
--- a/doc/tools/doc_status.py
+++ b/doc/tools/doc_status.py
@@ -1,4 +1,5 @@
 #!/usr/bin/env python3
+
 from __future__ import annotations

 import fnmatch
--- a/doc/tools/make_rst.py
+++ b/doc/tools/make_rst.py