Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixed bench workflow + changeprefix issue in prefix releases
changeprefix.py only works on prefixes, which is a bit of a problem for flags in the workflow scripts, requiring extra handling to not hide the prefix from changeprefix.py
- Loading branch information