2022-05-17 19:00:28 -04:00
|
|
|
|
# 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: [ $default-branch, $protected-branches ]
|
|
|
|
|
|
pull_request:
|
|
|
|
|
|
branches: [ $default-branch ]
|
|
|
|
|
|
|
|
|
|
|
|
permissions:
|
|
|
|
|
|
contents: read
|
|
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
|
pyre:
|
|
|
|
|
|
permissions:
|
|
|
|
|
|
actions: read
|
|
|
|
|
|
contents: read
|
|
|
|
|
|
security-events: write
|
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
steps:
|
2024-01-03 02:09:21 -05:00
|
|
|
|
- uses: actions/checkout@v4
|
2022-05-17 19:00:28 -04:00
|
|
|
|
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'
|
