Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

ci: migrate from Travis/Jenkins to GitHub Actions #3

Merged
merged 1 commit into from
Sep 22, 2023

Conversation

xel1045
Copy link
Member

@xel1045 xel1045 commented Sep 22, 2023

No description provided.

@xel1045 xel1045 added the enhancement New feature or request label Sep 22, 2023
@xel1045 xel1045 self-assigned this Sep 22, 2023
@xel1045 xel1045 force-pushed the feature/github-actions branch 4 times, most recently from 37c7f4c to 7e6fbeb Compare September 22, 2023 01:04
@xel1045 xel1045 merged commit b138b68 into master Sep 22, 2023
4 checks passed
@xel1045 xel1045 deleted the feature/github-actions branch September 22, 2023 01:08
@xel1045 xel1045 restored the feature/github-actions branch September 22, 2023 01:11
@xel1045 xel1045 deleted the feature/github-actions branch September 22, 2023 01:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant