Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Updating the version check to the new Github action (#2024)
* Updating the grep version check to be more strict on the new version convention * updating the way we check the version with the new github release * Fixed the release-type * switching master branch name for commit (cherry picked from commit a0c049d)
- Loading branch information