Skip to content

Conversation

@Waradu
Copy link
Contributor

@Waradu Waradu commented Nov 16, 2024

If there are any problems with this, discuss them here, I guess.

#13 would also need to change the version to stable in the build action.

@alii
Copy link
Contributor

alii commented Nov 16, 2024

Let's wait for #13 to merge, I expect that will happen today. We can then modify the ci in this pr as well.

@Waradu Waradu mentioned this pull request Nov 16, 2024
@alii alii merged commit a1d6ad1 into scopeclient:main Nov 16, 2024
@Waradu Waradu deleted the toolchain branch November 16, 2024 15:16
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