build: enforce formatting

[mightyiam]

No description provided.

[mightyiam]

Could anyone please approve workflow, just for the purpose of seeing it fail?

[mightyiam]

Rebased. Please approve workflow and review.

[mightyiam]

Oh, and we did confirm enforcement works (the first commit) in this run.

[mightyiam]

Unsurprisingly, the checks passed. There is no good time to merge this. It may upset contributors with open pull requests. There are 40 open pull requests. Yet, that number might not decrease. Therefore, it may never be less painful than now to merge this. And it's only a click away! 😉

[Philippe-Cholet]

@mightyiam There was a recent important discussion about enforcing formatting anyway in #702 (that and more...). I guess it's currently delayed the time to try to implement some RFC.

[mightyiam]

Thanks. Let us know here, as soon as we can pull the trigger on this. The first commit is the enforcement part. The second is merely the result of $ cargo fmt.

[Philippe-Cholet]

#744 bumped actions/checkout to v4, I guess you might want to do the same.

[mightyiam]

Thank you. Done.

[jswrenn]

Thank you! I'm closing this in favor of #751 (which is just a replay of the commits), for reasons explained there.