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 types and CI, refactor GHA workflow #49

Merged
merged 6 commits into from
Dec 14, 2023
Merged

Conversation

tillprochaska
Copy link
Contributor

@tillprochaska tillprochaska commented Dec 6, 2023

This PR includes a few miscellaneous changes related to type checking and CI.

  • setuptools now needs to be installed explicitly in GHA runners, this is the same issue we had in other repositories before.

  • I’ve added a new make target for type checking and changed the GHA workflow to run make instead of running pytest/mypy/setuptools etc. directly in order to ensure that the exact commands we run in development and in CI are consistent.

  • Fixed the minor type issues introduced in Add cleaned option #48 (didn’t spot them during review, my bad).

These changes make it easier to run type checks in a local development environment.
As `install` is a phony target, it is executed every time I run the tests, type checks etc. which slows things down unnecessarily.
… to ensure consistent processes during development and in CI.
@tillprochaska tillprochaska changed the title Explicitly install setuptools to fix GitHub Actions workflow Fix types and CI, refactor GHA workflow Dec 14, 2023
Copy link
Contributor

@stchris stchris left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks for the changes!

@tillprochaska tillprochaska merged commit 8ce685f into main Dec 14, 2023
1 check passed
@Rosencrantz
Copy link
Contributor

Wait!!! Don't merge... oh you already did. LGTM2.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants