Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

ci: add github workflows #5

Merged
merged 2 commits into from
Nov 27, 2023
Merged

ci: add github workflows #5

merged 2 commits into from
Nov 27, 2023

Conversation

fho
Copy link
Contributor

@fho fho commented Nov 23, 2023

add workflows to build, check and lint the code

fho added 2 commits November 23, 2023 18:03
add workflows to build, check and lint the code
@fho fho marked this pull request as ready for review November 23, 2023 17:09
@fho fho self-assigned this Nov 23, 2023
@fho fho merged commit 8f6d943 into main Nov 27, 2023
3 checks passed
@fho fho deleted the github branch November 27, 2023 13:58
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants