Create pyre.yml #1

	name: Pyre Type Checker

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

	permissions:
	contents: read
	security-events: write # Required for integrating with Code Scanning

	jobs:
	pyre:
	runs-on: ubuntu-latest
	permissions:
	actions: read
	contents: read
	security-events: write

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	submodules: true

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: 3.x

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	if [ -f requirements.txt ]; then pip install -r requirements.txt; fi

	- name: Run Pyre
	uses: facebook/pyre-action@60697a7858f7cc8470d8cc494a3cf2ad6b06560d
	with:
	repo-directory: './'
	requirements-path: 'requirements.txt'

Provide feedback