adds pre-commit checking to local CI

.gitlab-ci.yml

@@ -4,10 +4,17 @@ variables:
 stages:
   - main
 
-local-nix-build:
+build:
   stage: main
   script:
-   - nix-build $ARGOPKGS -A argotk --arg argotk-src ./.
+   - nix-build default.nix -A argotk
+  tags:
+   - integration
+
+pre-commit:
+  stage: main
+  script:
+   - ./shake.hs
   tags:
    - integration