Remove unstable-features from code formatting script#3962

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:fmt-stablezhassan-aws/kani:fmt-stableCopy head branch name to clipboard