Add support for inductively defined functions #9804
stevenraphaelpresubmit.yml
on: pull_request
Check clang-format and ruff
57s
Check clang-tidy
3m 51s
Check CMake file lists
5s
Annotations
1 error and 1 warning
|
Check clang-tidy
Process completed with exit code 1.
|
|
Check clang-tidy
ninja 1.13.2 is already installed and up-to-date.
To reinstall 1.13.2, run:
brew reinstall ninja
|