Update auto-generated code#2295

Merged

AlexCatarino merged 3 commits intomasterfrom

github-action-code-generators

May 1, 2026

Commits on May 1, 2026

Code generated by Alternative-Datasets-Code-Generator.py
GitHub Actions
committed
Code generated by Lean-CLI-API-Reference-Code-Generator.py
GitHub Actions
committed
Code generated by indicator_reference_code_generator.py
GitHub Actions
committed