From a27f156e31576729ffa28b0064a630beea3e9789 Mon Sep 17 00:00:00 2001 From: Chris Sewell Date: Tue, 19 Mar 2024 09:34:34 +0100 Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A7=20Add=20`check`=20rule=20to=20Make?= =?UTF-8?q?file=20(#12135)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit To run all linting/type-checking, just for dev ease Co-authored-by: Bénédikt Tran <10796600+picnixz@users.noreply.github.com> --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 75879a47a..8cfc9fae3 100644 --- a/Makefile +++ b/Makefile @@ -3,6 +3,9 @@ PYTHON ?= python3 .PHONY: all all: style-check type-check test +.PHONY: check +check: style-check type-check doclinter + .PHONY: clean clean: clean # clean Python cache files: