Semgrep config

Pin boring version to 4.13 for MSRV tests. #307

# to view logs

Summary
Jobs
- semgrep/ci
Run details
- Usage
- Workflow file

Run time

Learn about OS # on GitHub Actions

Job	Run time
semgrep/ci	1m 8s
	1m 8s