Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add a workflow to create release build (#217)
This CL setup a workflow to create a release build. Below is the steps to create a release: 1. submit all changes to master branch 2. create a RELEASE.md file under the root directory, the "RELEASE.md" can be created via github's draft new release text page 3. submit RELEASE.md to master branch 4. create a release tag, a release tag is like "v[0-9]+.[0-9]+.[0-9]+", this can be done locally: git tag <tag_name> 5. push the tag: git push <repo> tag <tag_name> 6. the work flow will be triggered This workflow can also be manually triggered to create a release for older versions. The workflow shall be further improved so that we can create the release on the github webpage and let it trigger the release build. * Add a workflow to create relase build. * Addressed review comments. * Use clang/clang++ to build release binaries.
- Loading branch information