Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix Pyre GitHub Action #102

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

WangGithubUser
Copy link

@WangGithubUser WangGithubUser commented Aug 11, 2023

Pre-submission checklist

  • I've ran the following linters locally and fixed lint errors related to the files I modified in this PR
    • black .
    • usort format .
    • flake8
  • I've installed dev dependencies pip install -r requirements-dev.txt and completed the following:
    • I've ran tests with ./scripts/run-tests.sh and made sure all tests are passing

Nope, sorry.I'm on Windows platform and my virtual machine crashed.But this test will run in GitHub Action tests and we can see if this workflow is successful.(also, this PR shouldn't cause any lint error)

Summary

Pyre workflow failed in this repo for two reasons:

  1. We need to provide a is_toplevel_module for typing_extensions, as this PR.
  2. ujson also couldn't found caused by a known issue of Pyre: Pyre couldn't find a required site-package pyre-check#773

Test Plan

If this PR merged and the issue above fixed, pyre Action workflow should pass.

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Aug 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants