Make `change_priority` API consistent#41

Merged

garro95 merged 4 commits intogarro95:masterfrom

liwenjieQu:priority

Nov 10, 2022

Commits on Nov 7, 2022

make change_priority API consistent
Wenjie Li
committed

Commits on Nov 9, 2022

Change return type for change_priority_by from Option to bool
Wenjie Li
committed
Run cargo fmt
Wenjie Li
committed
Add test coverage for API change
Wenjie Li
committed