From f8253a36633f3c2dcda623a179e9b095dee280f2 Mon Sep 17 00:00:00 2001 From: Joao Paulo Magalhaes Date: Wed, 14 Aug 2024 11:09:16 +0100 Subject: [PATCH] ci: show more info on checkout ci skip --- .github/workflows/clang.yml | 6 +++--- .github/workflows/gcc.yml | 24 ++++++++++++------------ 2 files changed, 15 insertions(+), 15 deletions(-) diff --git a/.github/workflows/clang.yml b/.github/workflows/clang.yml index 6e6efa6..3f9aa9d 100644 --- a/.github/workflows/clang.yml +++ b/.github/workflows/clang.yml @@ -159,10 +159,10 @@ jobs: - name: checkout run: | set -x - echo $GITHUB_REF - echo $GITHUB_HEAD_REF + echo GITHUB_REF=$GITHUB_REF + echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}} # https://stackoverflow.com/questions/58033366 - echo $branch + echo branch=$branch git init -q . git config --system --add safe.directory '*' # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169 git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY diff --git a/.github/workflows/gcc.yml b/.github/workflows/gcc.yml index 2510b6e..5f16116 100644 --- a/.github/workflows/gcc.yml +++ b/.github/workflows/gcc.yml @@ -53,10 +53,10 @@ jobs: - name: checkout run: | set -x - echo $GITHUB_REF - echo $GITHUB_HEAD_REF + echo GITHUB_REF=$GITHUB_REF + echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}} # https://stackoverflow.com/questions/58033366 - echo $branch + echo branch=$branch git init -q . git config --system --add safe.directory '*' # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169 git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY @@ -109,10 +109,10 @@ jobs: - name: checkout run: | set -x - echo $GITHUB_REF - echo $GITHUB_HEAD_REF + echo GITHUB_REF=$GITHUB_REF + echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}} # https://stackoverflow.com/questions/58033366 - echo $branch + echo branch=$branch git init -q . git config --system --add safe.directory '*' # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169 git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY @@ -193,10 +193,10 @@ jobs: - name: checkout run: | set -x - echo $GITHUB_REF - echo $GITHUB_HEAD_REF + echo GITHUB_REF=$GITHUB_REF + echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}} # https://stackoverflow.com/questions/58033366 - echo $branch + echo branch=$branch git init -q . git config --system --add safe.directory '*' # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169 git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY @@ -305,10 +305,10 @@ jobs: - name: checkout run: | set -x - echo $GITHUB_REF - echo $GITHUB_HEAD_REF + echo GITHUB_REF=$GITHUB_REF + echo GITHUB_HEAD_REF=$GITHUB_HEAD_REF branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}} # https://stackoverflow.com/questions/58033366 - echo $branch + echo branch=$branch git init -q . git config --system --add safe.directory '*' # needed for running in the docker image. see https://github.com/actions/checkout/issues/1169 git remote add origin $GITHUB_SERVER_URL/$GITHUB_REPOSITORY