Skip to content

Update auto-generated code - #2778

Merged
AlexCatarino merged 3 commits into
masterfrom
github-action-code-generators
Oct 16, 2026
Merged

AlexCatarino merged 3 commits into
masterfrom
github-action-code-generators

Code generated by Lean-CLI-API-Reference-Code-Generator.py

67beafa
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs