Maybe it's good to list down to run the basic steps mentioned in the ci check so that a newcomer can ensure those checks are satisfied before committing.
Either the user can manually check this. Or we could add a git pre-commit or pre-push hook.
Pre commit hook might be a bit annoying as rust compilation takes time.