Skip to content

CI update#355

Merged
bertmelis merged 5 commits into
masterfrom
CI-update
May 7, 2024
Merged

CI update#355
bertmelis merged 5 commits into
masterfrom
CI-update

Conversation

@bertmelis

Copy link
Copy Markdown
Contributor

@Miq1 OK to merge?

@Miq1

Miq1 commented May 7, 2024

Copy link
Copy Markdown
Contributor

Of course! Thanks a lot indeed.

@bertmelis bertmelis merged commit 0d06aee into master May 7, 2024
@bertmelis bertmelis deleted the CI-update branch May 7, 2024 13:21
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