Open
Description
Add CI/CD workflows that automatically detect if a commit is tagged on master and push it to the release branch and release it using GitHub release feature. The release file should contain the source code and compilation artifacts. Follow the procedure described in the branching strategy in the README.
(As of now not implemented)
Blocked by:
Metadata
Metadata
Assignees
Labels
Improvements or additions to documentationImprovements or additions to documentationGood for newcomersGood for newcomersExtra attention is neededExtra attention is needed