Add Pyre starter workflow

code-scanning/properties/pyre.properties.json

@@ -0,0 +1,7 @@
+{
+    "name": "Pyre",
+    "creator": "Meta",
+    "description": "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.",
+    "iconName": "pyre",
+    "categories": ["Code Scanning", "Python"]
+}

code-scanning/pyre.yml

@@ -0,0 +1,46 @@
+# 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:
+      - uses: actions/checkout@v3
+        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'

icons/pyre.svg

@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" viewBox="0 0 82.43 136.01"><defs><style>.cls-1{fill:#543d3b;}.cls-2{fill:url(#linear-gradient);}.cls-3{fill:url(#linear-gradient-2);}</style><linearGradient id="linear-gradient" x1="37.48" y1="110.89" x2="67.2" y2="6.42" gradientUnits="userSpaceOnUse"><stop offset="0" stop-color="#feb800"/><stop offset="1" stop-color="#ff4300"/></linearGradient><linearGradient id="linear-gradient-2" x1="-4.59" y1="95.33" x2="24.09" y2="-5.5" xlink:href="#linear-gradient"/></defs><title>Asset 1</title><g id="Layer_2" data-name="Layer 2"><g id="Layer_1-2" data-name="Layer 1"><polygon class="cls-1" points="25.77 58.16 0.58 58.16 29.52 97.91 1.79 136.01 26.97 136.01 42.11 115.21 57.24 136.01 82.43 136.01 25.77 58.16"/><path class="cls-2" d="M66,21.63a24.17,24.17,0,0,1-6.82,17.5A5.94,5.94,0,0,1,57.6,38c-9.18-9.8-5.53-38-5.53-38C33.71,21.13,32.63,41,32.63,45.41c-.11,2.7.25,12.19,9.11,24L56.8,90.25l.12-.09C59.34,88.33,97,58.94,66,21.63Z"/><path class="cls-3" d="M22.41,38.65l0-.08a11.26,11.26,0,0,0-2.13-3.73l-.06-.07h0C9.46,21.85,18,9,18,9,4.52,15.63.84,27.17.07,35.51h0C-.72,47.25,3.81,51.38,7.44,52.83a11.92,11.92,0,0,0,4.21.76c5.13-.15,8.26-2.61,9.81-5.24a12.09,12.09,0,0,0,1.11-9.15C22.52,39,22.47,38.83,22.41,38.65Z"/></g></g></svg>