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

Enhancements to CI and development tools configurations #1163

Merged
merged 51 commits into from
Feb 24, 2023
Merged

Conversation

egparedes
Copy link
Contributor

@egparedes egparedes commented Feb 13, 2023

Several enhancements to GitHub actions and tox configurations to make CI faster and more consistent.

Main changes:

  • All dependencies' versions are now frozen for CI and development environments (using pip-compile from pip-tools). pre-commit configuration uses the same versions (synced using cog).
  • Added tox tasks to update the pinned versions in all related files.
  • All GitHub CI actions now use pip caches.
  • Added Daily CI action to run tests with the newest versions for requirements.
  • Enhancing path filters to avoid running unnecessary CI tasks (and other minor cleanups).
  • Minor updates to pre-commit configs (and fixes for sources triggering QA errors).
  • Fixes and enhancements to mypy configuration.

@egparedes egparedes changed the title (WIP) CI enhancements Enhancements to CI and development tools configurations Feb 20, 2023
@egparedes egparedes marked this pull request as ready for review February 20, 2023 13:49
@egparedes egparedes requested a review from DropD February 20, 2023 16:26
@havogt havogt mentioned this pull request Feb 21, 2023
@egparedes egparedes force-pushed the ci-enhancements branch 2 times, most recently from a220317 to 129baa6 Compare February 21, 2023 14:18
@egparedes egparedes force-pushed the ci-enhancements branch 2 times, most recently from 2300023 to 6c49ef3 Compare February 21, 2023 15:06
Copy link
Contributor

@DropD DropD left a comment

Choose a reason for hiding this comment

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

Very nice. I particularly like that the pre-commit hook dependencies are now synchronized with the project dependencies.

@egparedes egparedes merged commit 0c3a767 into main Feb 24, 2023
@egparedes egparedes deleted the ci-enhancements branch February 24, 2023 13:20
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.

2 participants