Skip to content

Commit

Permalink
Create pyre.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
adryserage authored Dec 24, 2024
1 parent 36297cc commit 82a82eb
Showing 1 changed file with 42 additions and 0 deletions.
42 changes: 42 additions & 0 deletions .github/workflows/pyre.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
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'

0 comments on commit 82a82eb

Please sign in to comment.