Merge pull request 'devshell: fix linking pre-commit' (#95) from Mic92-mic92 into main

2023-08-08 11:54:19 +00:00
parent 6f22717ffd fbd1c3cff4
commit a21e768142
2 changed files with 3 additions and 1 deletions
--- a/.gitea/workflows/check.yaml
+++ b/.gitea/workflows/check.yaml
@@ -1,6 +1,8 @@
 name: build
 on:
+  pull_request:
  push:
+    branches: main
 jobs:
  test:
    runs-on: nix
--- a/devShell.nix
+++ b/devShell.nix
@@ -15,7 +15,7 @@
          self'.packages.merge-after-ci
        ];
        shellHook = ''
-          ln -sf ../../scripts/pre-commit .git/hooks/pre-commit
+          ln -sf ../../scripts/pre-commit "$(git rev-parse --show-toplevel)/.git/hooks/pre-commit"
        '';
      };
    };