-
Notifications
You must be signed in to change notification settings - Fork 8
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
fix: delete unused workflows and generate zip with releases #71
Conversation
Thanks for the pull request, @MaferMazu! Please note that it may take us up to several weeks or months to complete a review and merge your PR. Feel free to add as much of the following information to the ticket as you can:
All technical communication about the code itself will be done via the GitHub pull request interface. As a reminder, our process documentation is here. Please let us know once your PR is ready for our review and all tests are green. |
d559022
to
15737a3
Compare
15737a3
to
13a58e5
Compare
…and generate zip with releases
13a58e5
to
e2b4751
Compare
yes it does. We create the releases manually.
This sounds reasonable and easy to maintain |
@MaferMazu 🎉 Your pull request was merged! Please take a moment to answer a two question survey so we can improve your experience in the future. |
Description
This PR only modifies the GitHub workflows to work as expected (the continuous integration workflow is failing in the main branch):
Testing instructions
Additional information
Ref 1
Checklist for Merge