Skip to content

Commit 1810eb9

Browse files
Create pyre.yml
1 parent 63d8085 commit 1810eb9

File tree

1 file changed

+46
-0
lines changed

1 file changed

+46
-0
lines changed

.github/workflows/pyre.yml

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
# This workflow uses actions that are not certified by GitHub.
2+
# They are provided by a third-party and are governed by
3+
# separate terms of service, privacy policy, and support
4+
# documentation.
5+
6+
# This workflow integrates Pyre with GitHub's
7+
# Code Scanning feature.
8+
#
9+
# Pyre is a performant type checker for Python compliant with
10+
# PEP 484. Pyre can analyze codebases with millions of lines
11+
# of code incrementally – providing instantaneous feedback
12+
# to developers as they write code.
13+
#
14+
# See https://pyre-check.org
15+
16+
name: Pyre
17+
18+
on:
19+
workflow_dispatch:
20+
push:
21+
branches: [ "main" ]
22+
pull_request:
23+
branches: [ "main" ]
24+
25+
permissions:
26+
contents: read
27+
28+
jobs:
29+
pyre:
30+
permissions:
31+
actions: read
32+
contents: read
33+
security-events: write
34+
runs-on: ubuntu-latest
35+
steps:
36+
- uses: actions/checkout@v4
37+
with:
38+
submodules: true
39+
40+
- name: Run Pyre
41+
uses: facebook/pyre-action@60697a7858f7cc8470d8cc494a3cf2ad6b06560d
42+
with:
43+
# To customize these inputs:
44+
# See https://github.com/facebook/pyre-action#inputs
45+
repo-directory: './'
46+
requirements-path: 'requirements.txt'

0 commit comments

Comments
 (0)