From ef1787127858992825260434f3b2aa01f4735953 Mon Sep 17 00:00:00 2001 From: Andreas Fehlner Date: Sun, 7 Jul 2024 20:33:26 +0200 Subject: [PATCH] remove header --- Makefile | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 7f3fd69c24..bb38de5a54 100644 --- a/Makefile +++ b/Makefile @@ -26,10 +26,7 @@ lint: FORCE black --check *.py pyro examples tests scripts profiler mypy --install-types --non-interactive pyro scripts tests -license: FORCE - python scripts/update_headers.py - -format: license FORCE +format: FORCE ruff check --fix . black *.py pyro examples tests scripts profiler