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

Improve CI #25

Merged
merged 3 commits into from
Jan 10, 2023
Merged

Improve CI #25

merged 3 commits into from
Jan 10, 2023

Conversation

papb
Copy link
Contributor

@papb papb commented Nov 28, 2022

  • Fix typings
  • Fix flake8 issues
  • Improve CI so that it:
    • Fails if there are flake8 issues
    • Fails if there are mypy issues

@papb
Copy link
Contributor Author

papb commented Nov 28, 2022

Thanks for quickly merging my other PR 😁 It would be great if you could make a new release. Thanks.

@fullonic
Copy link
Owner

Hi @papb . Sorry for taking so long to answer your PR. I missed the notification 😞
I will make a new release right now. Thanks for your contributions 👍

@fullonic fullonic merged commit 2cb38b7 into fullonic:master Jan 10, 2023
@fullonic
Copy link
Owner

fullonic commented Jan 10, 2023 •
edited
Loading

@papb 1.3.0 version is now available ! 😉

@papb papb deleted the improve-ci branch January 11, 2023 13:50
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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@papb @fullonic