Merge branch 'master' into checksorted

2025-06-12 23:33:12 +02:00
parent d1def100dd 0a1df881b3
commit f191272feb
12 changed files with 312 additions and 43 deletions
--- a/1
+++ b/1
@@ -55,6 +55,7 @@ test:
 check:
 	@$(MAKE) -C .github/checks checkstyle --no-print-directory
 	@$(MAKE) -C .github/checks sorted     --no-print-directory
+	@$(MAKE) -C src test                  --no-print-directory
 	@$(MAKE) test
 	@$(MAKE) -C targettest platforms      --no-print-directory
 	@$(MAKE) -C samples platforms         --no-print-directory