From b42879a95377b4b10f12855d831eb58857b60d2e Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Tue, 26 Jul 2022 17:45:49 -0700 Subject: ref(ci): delete custom scripts for formatting Since I have configured the pre-commit hooks, I can use them instead of my custom scripts: less things to maintain and easier to read output. Change-Id: Ic833ec88ed9fbcbe52b1b1680f978da3a5a08b31 Reviewed-on: https://cl.fcuny.net/c/world/+/681 Tested-by: CI Reviewed-by: Franck Cuny --- ops/ci/default.nix | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'ops/ci/default.nix') diff --git a/ops/ci/default.nix b/ops/ci/default.nix index be0c607..1638b53 100644 --- a/ops/ci/default.nix +++ b/ops/ci/default.nix @@ -1,6 +1,3 @@ { pkgs }: -{ - fmt = import ./fmt.nix pkgs; - shell = import ./shellcheck.nix pkgs; -} +{ } -- cgit v1.2.3