Code Scanning - Action

smt expr: revert the limit on lambda subst #1666

# to view logs

Summary
Jobs
- CodeQL-Build
Run details
- Usage
- Workflow file

Run time

Learn about OS # on GitHub Actions

Job	Run time
CodeQL-Build	3m 31s
	3m 31s