Skip to content

Set up basic CI infrastructure#2

Merged
simonechiocchetti merged 7 commits intomainfrom
msl/basic-ci-infrastructure
Jan 24, 2024
Merged

Set up basic CI infrastructure#2
simonechiocchetti merged 7 commits intomainfrom
msl/basic-ci-infrastructure

Conversation

@sloede
Copy link
Copy Markdown
Member

@sloede sloede commented Jan 24, 2024

No description provided.

@sloede
Copy link
Copy Markdown
Member Author

sloede commented Jan 24, 2024

@simonechiocchetti I have set up a basic CI testing infrastructure (+ spell checking). Please have a look if you feel comfortable with the changes I made. If you are, feel free to merge at any time - otherwise we can discuss it later 😊

@simonechiocchetti simonechiocchetti merged commit b4f32a5 into main Jan 24, 2024
@simonechiocchetti simonechiocchetti deleted the msl/basic-ci-infrastructure branch January 24, 2024 16: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