FlarePublic/gitea-themes
4
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix jenkinsfile
All checks were successful
Flare Microsystems Git/FlarePublic/gitea-themes/pipeline/pr-master This commit looks good
Details

Browse Source
This commit is contained in:
Vulpovile
2025-01-11 14:57:07 -08:00
parent 7ca3d19a2a
commit 0bbceea474
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
Jenkinsfile vendored
View File

@@ -7,11 +7,12 @@ pipeline {
script {
// Check for spaces or mixed indentation
sh '''
if grep -P "^[ ]+" -r --include=*.css ; then
EXTENSIONS={css,js,json,java,bat,ps1,py,cs,html,c,cpp,h,hpp,cmd}
if grep -P "^[ ]+" -r --include=*.$EXTENSIONS ; then
echo "Error: Files contain spaces instead of tabs for indentation."
exit 1
fi
if grep -P "^\\t+ +" -r --include=*.css ; then
if grep -P "^\\t+ +" -r --include=*.$EXTENSIONS ; then
echo "Error: Files contain mixed tabs and spaces for indentation."
exit 1
fi