Pyre

Bump returntocorp/semgrep-action from fcd5ab7459e8d91cb1777481980d1b18b4fc6735 to 713efdd345f3035192eaa63f56867b88e63e4e5d #72

	# This workflow uses actions that are not certified by GitHub.
	# They are provided by a third-party and are governed by
	# separate terms of service, privacy policy, and support
	# documentation.

	# This workflow integrates Pyre with GitHub's
	# Code Scanning feature.
	#
	# Pyre is a performant type checker for Python compliant with
	# PEP 484. Pyre can analyze codebases with millions of lines
	# of code incrementally – providing instantaneous feedback
	# to developers as they write code.
	#
	# See https://pyre-check.org

	name: Pyre

	on:
	workflow_dispatch:
	push:
	branches: [ "master" ]
	pull_request:
	branches: [ "master" ]

	permissions:
	contents: read

	jobs:
	pyre:
	permissions:
	actions: read
	contents: read
	security-events: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true

	- name: Run Pyre
	uses: facebook/pyre-action@60697a7858f7cc8470d8cc494a3cf2ad6b06560d
	with:
	# To customize these inputs:
	# See https://github.com/facebook/pyre-action#inputs
	repo-directory: './'
	requirements-path: 'requirements.txt'

Provide feedback