Skip to content

Conversation

umbynos
Copy link
Contributor

@umbynos umbynos commented Oct 14, 2022

Remove this workflow since it's useless, it only a smoke test that checks if the code could be compiled natively

@umbynos umbynos self-assigned this Oct 14, 2022
@umbynos umbynos added the topic: infrastructure Related to project infrastructure label Oct 14, 2022
@umbynos umbynos merged commit 254b616 into main Oct 17, 2022
@umbynos umbynos deleted the remove-workflow branch October 17, 2022 10:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: infrastructure Related to project infrastructure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants