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

DevOps: CI and Pre-commit #108

Draft

t-reents wants to merge 2 commits into giovannipizzi:main from t-reents:dev/update_gh_ci

Collaborator

t-reents commented Dec 9, 2024

Update CI to use recent versions of actions and extend the Python versions that are used for testing
Update Pre-commit to use newer versions of the hooks. Moreover, additional hooks have been added
Included and fixed prospector – fixes Activate prospector and fix problems #88

t-reents marked this pull request as draft

December 9, 2024 11:16

Collaborator Author

t-reents commented Dec 9, 2024

Tests are still working but pre-commit is of course failing due to the new changes that would be introduced by the new hooks.

t-reents added 2 commits

December 20, 2024 16:13


          CI: Update GitHub CI to recent versions and extend python versions fo…

8f071e4

…r testing


          Pre-commit: Update and extend hooks, and fix prospector

0b5bb86

t-reents force-pushed the dev/update_gh_ci branch from 588dce8 to 0b5bb86 Compare

December 20, 2024 15:13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet