Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GitHub actions: Remove workaround for release version detection
The old workaround is no longer needed, now that tthe issue has been proper fixed in b407646 Revert "Fix release version detection (#722)" This reverts commit 4054819.
- Loading branch information