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

pre-commit: adds continuous integration. #110

Open
wants to merge 1 commit into
base: devel
Choose a base branch
from

Conversation

filippodebortoli
Copy link
Collaborator

Addresses #106

@filippodebortoli filippodebortoli added the project management Releases, project infrastructure, automation label Jun 18, 2024
@phillord
Copy link
Owner

Where does this get run? In the github action?

@filippodebortoli
Copy link
Collaborator Author

Where does this get run? In the github action?

Yes. It could be that in order to run you, as the repository owner, might have to perform additional steps on their website to allow access to the repository.

@phillord
Copy link
Owner

This is the? pre-commit.ci thing? I haven't check that out. Might be easier to use their pre-commit in a github action approach, not sure. You should be able to enable it on your repo I think; do you want to give it a try and see what happens?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
project management Releases, project infrastructure, automation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants