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

[TASK] Create a new release from the develop branch #482

Open
3 tasks
shekohex opened this issue Apr 27, 2023 · 0 comments
Open
3 tasks

[TASK] Create a new release from the develop branch #482

shekohex opened this issue Apr 27, 2023 · 0 comments
Assignees
Labels
difficulty: medium 🚩 p3 🔵 Issues should be resolved eventually task ✔️

Comments

@shekohex
Copy link
Collaborator

Overview

Similar to rust-analyzer/releases/nightly that gets updated every night, for us we should create a new develop release every time we merge a PR to the develop branch.

Checklist

  • Adopt github-release action.
  • Customize it for our needs (should not be a lot of changes.)
  • Create the develop release on every new PR gets merged to the develop branch.
@shekohex shekohex added p1 🟠 Issue should be resolved sooner than later task ✔️ difficulty: medium 🚩 labels Apr 27, 2023
@shekohex shekohex assigned shekohex and unassigned Nutomic May 19, 2023
@shekohex shekohex assigned salman01zp and unassigned shekohex Jun 9, 2023
@salman01zp salman01zp added p3 🔵 Issues should be resolved eventually and removed p1 🟠 Issue should be resolved sooner than later labels Jun 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
difficulty: medium 🚩 p3 🔵 Issues should be resolved eventually task ✔️
Projects
Status: Not Started 🕧
Development

Successfully merging a pull request may close this issue.

3 participants