fix: make CI work

Author: PLeVasseur

.github/workflows/check-rust-examples.yml

@@ -201,10 +201,10 @@ jobs:
       - name: Analyze toolchain requirements
         id: analyze
         run: |
-          # Get requirements as JSON
+          # Get requirements as JSON (script outputs clean JSON to stdout)
           REQUIREMENTS=$(uv run python scripts/extract_rust_examples.py \
             --list-requirements \
-            --src-dir src/coding-guidelines 2>/dev/null | tail -n +4)
+            --src-dir src/coding-guidelines)
           
           # Extract summary info
           NEEDS_NIGHTLY=$(echo "$REQUIREMENTS" | jq '.summary.needs_nightly > 0')

scripts/extract_rust_examples.py

@@ -326,12 +326,13 @@ def extract_rust_examples_from_file(file_path: Path) -> List[RustExample]:
     return examples
 
 
-def extract_all_examples(src_dirs: List[Path]) -> List[RustExample]:
+def extract_all_examples(src_dirs: List[Path], quiet: bool = False) -> List[RustExample]:
     """
     Extract all Rust examples from all RST files in the given directories.
     
     Args:
         src_dirs: List of directories to scan
+        quiet: If True, suppress progress output
         
     Returns:
         List of all RustExample objects found
@@ -341,15 +342,18 @@ def extract_all_examples(src_dirs: List[Path]) -> List[RustExample]:
     for src_dir in src_dirs:
         rst_files = list(src_dir.glob("**/*.rst"))
 
-        print(f"🔍 Scanning {len(rst_files)} RST files in {src_dir}")
+        if not quiet:
+            print(f"🔍 Scanning {len(rst_files)} RST files in {src_dir}", file=sys.stderr)
 
         for file_path in rst_files:
             file_examples = extract_rust_examples_from_file(file_path)
             if file_examples:
-                print(f"   📄 {file_path.name}: {len(file_examples)} examples")
+                if not quiet:
+                    print(f"   📄 {file_path.name}: {len(file_examples)} examples", file=sys.stderr)
                 examples.extend(file_examples)
 
-    print(f"\n📊 Total: {len(examples)} examples found")
+    if not quiet:
+        print(f"\n📊 Total: {len(examples)} examples found", file=sys.stderr)
 
     return examples
 
@@ -645,12 +649,14 @@ def main():
     prelude = ""
     if args.prelude:
         prelude = load_prelude(args.prelude)
-        if prelude:
-            print(f"📜 Loaded prelude from {args.prelude}")
+        if prelude and not args.list_requirements:
+            print(f"📜 Loaded prelude from {args.prelude}", file=sys.stderr)
 
     # Extract examples from all source directories
     if args.list or args.extract or args.test or args.list_requirements:
-        examples = extract_all_examples(validated_src_dirs)
+        # Use quiet mode for list-requirements to get clean JSON output
+        quiet = args.list_requirements
+        examples = extract_all_examples(validated_src_dirs, quiet=quiet)
 
         # Handle --list-requirements
         if args.list_requirements: