Add support for inductively defined functions #9782
This workflow is awaiting approval from a maintainer in #8878
Triggered via pull request
December 13, 2025 02:23
stevenraphael
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #8878
presubmit.yml
on: pull_request
Check CMake file lists
Check clang-format and ruff
Check clang-tidy