Skip to content

Comments

Update CI setup#1

Merged
JelleZijlstra merged 5 commits intomasterfrom
updateci
Aug 21, 2024
Merged

Update CI setup#1
JelleZijlstra merged 5 commits intomasterfrom
updateci

Conversation

@JelleZijlstra
Copy link

No description provided.

@JelleZijlstra JelleZijlstra merged commit 1290147 into master Aug 21, 2024
@JelleZijlstra JelleZijlstra deleted the updateci branch August 21, 2024 20:31
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.

1 participant