From 546d2a414acb501bece35ebe6ea180aaf2fbfc80 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Thu, 29 Jun 2023 11:33:28 +0200
Subject: [PATCH] ci: make pre-commit check style (#70186)

---
 Jenkinsfile |  1 +
 tox.ini     | 10 ++++++++++
 2 files changed, 11 insertions(+)
 create mode 100644 tox.ini

diff --git a/Jenkinsfile b/Jenkinsfile
index cc87c711..b722110f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,6 +7,7 @@ pipeline {
         stage('Checks') {
             steps {
                 script {
+                    sh 'tox -rv'  // makes pre-commit check style
                     if (env.GIT_BRANCH.startsWith('wip/')) {
                       sh 'make css'
                     }
diff --git a/tox.ini b/tox.ini
new file mode 100644
index 00000000..4a64351c
--- /dev/null
+++ b/tox.ini
@@ -0,0 +1,10 @@
+[tox]
+envlist = codestyle
+skipsdist = True
+toxworkdir = {env:TMPDIR:/tmp}/tox-{env:USER}/publik-base-theme/{env:BRANCH_NAME:}
+
+[testenv]
+deps =
+  codestyle: pre-commit
+commands =
+  codestyle: pre-commit run --all-files --show-diff-on-failure