From 7d5e46d3d5d6b661cada9bbf969ef52f4da05f2b Mon Sep 17 00:00:00 2001 From: Christoph Mewes Date: Mon, 17 Nov 2025 10:31:16 +0100 Subject: [PATCH] run 'verify-modules' as part of 'make verify' On-behalf-of: @SAP christoph.mewes@sap.com --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 9cba3f8a7..c89d4a936 100644 --- a/Makefile +++ b/Makefile @@ -359,7 +359,7 @@ verify-modules: modules # Verify go modules are up to date done .PHONY: verify -verify: verify-go-versions verify-imports verify-codegen verify-boilerplate ## verify formal properties of the code +verify: verify-go-versions verify-modules verify-imports verify-codegen verify-boilerplate ## verify formal properties of the code .PHONY: help help: ## Show this help @@ -398,7 +398,7 @@ deploy-docs: venv ## Deploy docs build-web: cd web && npm run build -# Example: make IMAGE_REPO=ghcr.io/ image-local +# Example: make IMAGE_REPO=ghcr.io/ image-local # Set PLATFORMS to override default architectures (e.g., make PLATFORMS=linux/amd64,linux/arm64 image-local) # For local builds, default to current architecture on Linux platform to support --load PLATFORMS ?= linux/$(ARCH)