summary refs log tree commit diff stats
path: root/.github/workflows
diff options
context:
space:
mode:
authorTimothee Cour <timothee.cour2@gmail.com>2021-04-20 00:01:53 -0700
committerGitHub <noreply@github.com>2021-04-20 09:01:53 +0200
commitfb02b569578e4538852cb92b350036548aa5da15 (patch)
treecd8333228522679f1ad1e6e270619c6eecabb930 /.github/workflows
parent6852d091b33757ab34d1f0c4f9b22d10dbe48049 (diff)
downloadNim-fb02b569578e4538852cb92b350036548aa5da15.tar.gz
support skip ci in azure pipelines, and support it properly in github actions pipelines (#17561)
* support skip ci in azure pipelines

* [skip ci] example of a commit that skips CI

* example of a commit that does not skip CI

* fix github actions logic for ci skip handling

* [skip ci] example of a commit that skips CI for all pipelines

* example of a commit that does not skip CI for any pipeline
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci_docs.yml13
-rw-r--r--.github/workflows/ci_packages.yml14
2 files changed, 25 insertions, 2 deletions
diff --git a/.github/workflows/ci_docs.yml b/.github/workflows/ci_docs.yml
index 22d425b10..982efe610 100644
--- a/.github/workflows/ci_docs.yml
+++ b/.github/workflows/ci_docs.yml
@@ -30,8 +30,9 @@ on:
 
 jobs:
   build:
+    # see D20210329T004830
     if: |
-      !contains(format('{0} {1}', github.event.head_commit.message, github.event.pull_request.title), '[skip ci]')
+      !contains(format('{0}', github.event.pull_request.title), '[skip ci]')
     strategy:
       fail-fast: false
       matrix:
@@ -50,6 +51,16 @@ jobs:
     steps:
       - name: 'Checkout'
         uses: actions/checkout@v2
+        with:
+          fetch-depth: 2
+
+      - name: 'Check whether to skip CI'
+        shell: bash
+        run: |
+          # see D20210329T004830
+          commitMsg=$(git log --no-merges -1 --pretty=format:"%s")
+          echo commitMsg: $commitMsg
+          echo $commitMsg | grep -v '\[skip ci\]'
 
       - name: 'Install build dependencies (macOS)'
         if: runner.os == 'macOS'
diff --git a/.github/workflows/ci_packages.yml b/.github/workflows/ci_packages.yml
index dd42db0c4..b7af1210c 100644
--- a/.github/workflows/ci_packages.yml
+++ b/.github/workflows/ci_packages.yml
@@ -3,8 +3,9 @@ on: [push, pull_request]
 
 jobs:
   build:
+    # see D20210329T004830
     if: |
-      !contains(format('{0} {1}', github.event.head_commit.message, github.event.pull_request.title), '[skip ci]')
+      !contains(format('{0}', github.event.pull_request.title), '[skip ci]')
     strategy:
       fail-fast: false
       matrix:
@@ -19,6 +20,17 @@ jobs:
     steps:
       - name: 'Checkout'
         uses: actions/checkout@v2
+        with:
+          fetch-depth: 2
+
+      - name: 'Check whether to skip CI'
+        shell: bash
+        run: |
+          # see D20210329T004830
+          commitMsg=$(git log --no-merges -1 --pretty=format:"%s")
+          echo commitMsg: $commitMsg
+          echo $commitMsg | grep -v '\[skip ci\]'
+
       - name: 'Checkout csources'
         uses: actions/checkout@v2
         with: