Implement `Injectivity` (#867) #233

	name: Scorecards supply-chain security

	on:
	branch_protection_rule:
	schedule:
	- cron: '33 18 * * 5'
	push:
	branches: [master]

	permissions: {}

	jobs:
	analysis:
	if: github.repository == 'mihaimaruseac/hindent' # Don't do this in forks
	name: Scorecards analysis
	runs-on: ubuntu-latest
	permissions:
	security-events: write
	id-token: write

	steps:
	- name: Checkout code
	uses: actions/checkout@9bb56186c3b09b4f86b1c65136769dd318469633 # v4.1.2
	with:
	persist-credentials: false

	- name: Run analysis
	uses: ossf/scorecard-action@0864cf19026789058feabb7e87baa5f140aac736 # v2.3.1
	with:
	results_file: results.sarif
	results_format: sarif
	publish_results: true

	- name: Upload artifact
	uses: actions/upload-artifact@5d5d22a31266ced268874388b861e4b58bb5c2f3 # v4.3.1
	with:
	name: SARIF file
	path: results.sarif
	retention-days: 5

	# Upload the results to GitHub's code scanning dashboard.
	- name: Upload to code-scanning
	uses: github/codeql-action/upload-sarif@1b1aada464948af03b950897e5eb522f92603cc2 # v3.24.9
	with:
	sarif_file: results.sarif

Provide feedback