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 <franck@fcuny.net>

1 files changed, 1 insertions, 4 deletions

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;
-}
+{ }