Skip to content
Snippets Groups Projects

Correctin to gitlab-ci

Merged David Hrbáč requested to merge hot_fix into master
1 file
+ 1
1
Compare changes
  • Side-by-side
  • Inline
+ 1
1
@@ -44,7 +44,7 @@ ext_links:
@@ -44,7 +44,7 @@ ext_links:
script:
script:
#- find docs.it4i/ -name '*.md' -exec grep --color -l http {} + | xargs awesome_bot -t 10
#- find docs.it4i/ -name '*.md' -exec grep --color -l http {} + | xargs awesome_bot -t 10
#- find docs.it4i/ -name '*.md' -exec grep --color -l http {} + | xargs awesome_bot -t 10 --allow-dupe --allow-redirect
#- find docs.it4i/ -name '*.md' -exec grep --color -l http {} + | xargs awesome_bot -t 10 --allow-dupe --allow-redirect
- >
- |
COMMIT_MESSAGE=$(git log -1 --pretty=%B | grep "Merge branch 'hot_fix' into 'master'" )
COMMIT_MESSAGE=$(git log -1 --pretty=%B | grep "Merge branch 'hot_fix' into 'master'" )
if [[ ${COMMIT_MESSAGE} == *hot_fix* ]]; then
if [[ ${COMMIT_MESSAGE} == *hot_fix* ]]; then
echo "Skipping ci build"
echo "Skipping ci build"
Loading