You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
|
# 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@12b8d923443ea66cb657facc2e5faac1c8c86e64
|
|
|
|
|
|
with:
|
|
|
|
|
|
# To customize these inputs:
|
|
|
|
|
|
# See https://github.com/facebook/pyre-action#inputs
|
|
|
|
|
|
repo-directory: './'
|
|
|
|
|
|
requirements-path: 'requirements.txt'
|
