From c72c68a99b96c44fd4393d8689739f9c1efb6ce1 Mon Sep 17 00:00:00 2001 From: project-repo Date: Fri, 30 Sep 2022 21:09:07 +0200 Subject: [PATCH] Improve release procedure --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 4231379..fae9835 100644 --- a/README.md +++ b/README.md @@ -122,6 +122,7 @@ occur. * [ ] `git pull origin development` * [ ] `git push origin development` * [ ] `ninja -C build clang-format` makes no changes + * [ ] `ninja -C build scan-build` shows no issues * [ ] New version number determined according to [semantic versioning](https://semver.org) guidelines * [ ] Relevant Documentation completed * [ ] New features