Merge pull request #1 from trailofbits/fegge/miden-assembly #4

	name: Semgrep

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	permissions:
	contents: read

	jobs:
	semgrep:
	name: Semgrep Scan
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
	with:
	persist-credentials: false

	- uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
	with:
	python-version: "3.13"

	- name: Install Semgrep
	run: pip install semgrep

	- name: Run Semgrep
	run: >
	semgrep scan
	--metrics=off
	--error
	--config p/python
	--config p/security-audit
	--config p/secrets
	--include="*.py"
	.

Provide feedback