Skip to content

add mypy_primer to github CI #565

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

Closed
wants to merge 1 commit into from

Conversation

yangdanny97
Copy link
Contributor

Differential Revision: D77228326

@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D77228326

yangdanny97 added a commit to yangdanny97/pyrefly that referenced this pull request Jun 24, 2025
Summary:

Rollback Plan:

Differential Revision: D77228326
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D77228326

yangdanny97 added a commit to yangdanny97/pyrefly that referenced this pull request Jun 24, 2025
Summary:

Rollback Plan:

Differential Revision: D77228326
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D77228326

yangdanny97 added a commit to yangdanny97/pyrefly that referenced this pull request Jun 24, 2025
Summary:

Rollback Plan:

Differential Revision: D77228326
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D77228326

yangdanny97 added a commit to yangdanny97/pyrefly that referenced this pull request Jun 24, 2025
Summary:

Rollback Plan:

Differential Revision: D77228326
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D77228326

yangdanny97 added a commit to yangdanny97/pyrefly that referenced this pull request Jun 24, 2025
Summary:

Rollback Plan:

Differential Revision: D77228326
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D77228326

yangdanny97 added a commit to yangdanny97/pyrefly that referenced this pull request Jun 24, 2025
Summary:

Rollback Plan:

Differential Revision: D77228326
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D77228326

Summary:

This diff adds 2 workflows to our github CI.
1. runs mypy primer
2. runs when 1 completes, downloads the artifacts, and comments with the error difference

This is more or less copied from https://github.com/python/mypy/blob/master/.github/workflows/mypy_primer.yml and https://github.com/python/mypy/blob/master/.github/workflows/mypy_primer_comment.yml

Differential Revision: D77228326
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D77228326

@facebook-github-bot
Copy link
Contributor

This pull request has been merged in 39a0480.

vagabond-0 pushed a commit to vagabond-0/pyrefly that referenced this pull request Jun 27, 2025
Summary:
Pull Request resolved: facebook#565

This diff adds 2 workflows to our github CI.
1. runs mypy primer
2. runs when 1 completes, downloads the artifacts, and comments with the error difference

This is more or less copied from https://github.com/python/mypy/blob/master/.github/workflows/mypy_primer.yml and https://github.com/python/mypy/blob/master/.github/workflows/mypy_primer_comment.yml

Reviewed By: ndmitchell

Differential Revision: D77228326

fbshipit-source-id: 8fc9cb2eaad652010ebf6fb8e0339da2b35ab7e9
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants