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.

Sign up for GitHub

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

Jump to bottom

ci - update cruft #314

Closed
wants to merge 1 commit into from
Closed

ci - update cruft #314

wants to merge 1 commit into from

Conversation

MartinBernstorff
Copy link
Collaborator

🌲 Cruft updates

@MartinBernstorff MartinBernstorff added the dependencies Pull requests that update a dependency file label Oct 31, 2023
@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Oct 31, 2023 •
edited
Loading

✨ Looks like pyright failed ✨

If you want to fix this, we recommend doing it locally by either:

a) Enabling pyright in VSCode and going through the errors in the problems tab

VSCode settings > Python > Analysis: Type checking mode > "basic"

b) Debugging via the command line

1. Installing pyright, which is included in the dev dependencies: `pip install -e ".[dev]"`
2. Diagnosing the errors by running `pyright .`

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@MartinBernstorff @sarakolding