Fix copilot comments

Author: jordancarlin

.github/workflows/regress.yml

@@ -305,9 +305,6 @@ jobs:
 
       - run: git submodule update --init docs/docs-resources external/riscv-unified-db
 
-      - name: Pull Container
-        run: docker pull riscvintl/riscv-docs-base-container-image:latest
-
       - name: Build CTP
         run: cd docs/ctp && make -j2
 
@@ -319,9 +316,6 @@ jobs:
 
       - run: git submodule update --init docs/docs-resources
 
-      - name: Pull Container
-        run: docker pull riscvintl/riscv-docs-base-container-image:latest
-
       - name: Build CRD
         run: cd docs/crd && make -j2
 

.github/workflows/release-docs.yml

@@ -9,6 +9,8 @@ on:
       - "docs/**"
       - "generators/ctp/**"
       - "testplans/**"
+      - "coverpoints/norm/**"
+      - "coverpoints/param/**"
       - ".github/workflows/release-docs.yml"
 
 permissions:

generators/ctp/generate_param_table.py

@@ -474,7 +474,8 @@ def main() -> None:
     if args.norm_dir:
         norm_dir = Path(args.norm_dir)
         if not norm_dir.exists():
-            norm_dir = None
+            print(f"Error: specified norm directory does not exist: {norm_dir}", file=sys.stderr)
+            sys.exit(2)
     else:
         script_dir = Path(__file__).resolve().parent
         repo_root_candidate = script_dir.parent.parent