diff --git a/Jenkinsfile b/Jenkinsfile
index d705286ffb1c94c2960aa1debf47c60fe4718a3f..113d0dfdaf0c1d9a5abbaf396c11d74eb72f3417 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,9 +25,11 @@ pipeline {
   }
   stages {
      // *************************** Git Check **********************************
-    stage('Git Check') {
+    stage('Pre-checks') {
       agent { label "master"}
       steps {
+        sh "pre-commit install"
+        sh "pre-commit run --all-files"
         sh "git config core.whitespace -blank-at-eof"
         sh "git diff --check `git merge-base origin/master HEAD` HEAD -- . ':!*.md' ':!*.pandoc' ':!*.asc' ':!*.dat' ':!*.ts'"
         dir('scripts/jenkins') { stash(name: 'known_hosts', includes: 'known_hosts') }