diff --git a/.github/workflows/check_quick.yml b/.github/workflows/check_quick.yml index 44984c7..ace8585 100644 --- a/.github/workflows/check_quick.yml +++ b/.github/workflows/check_quick.yml @@ -7,6 +7,7 @@ on: - master - develop - feature/** + tags: ['**'] jobs: posix: diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4e6faf6..1b9060d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -7,6 +7,7 @@ on: - master - develop - feature/** + tags: ['**'] env: UBSAN_OPTIONS: print_stacktrace=1 diff --git a/.github/workflows/cmake_versions.yml b/.github/workflows/cmake_versions.yml index 4ae09e7..c83832e 100644 --- a/.github/workflows/cmake_versions.yml +++ b/.github/workflows/cmake_versions.yml @@ -7,6 +7,17 @@ on: - master - develop - feature/** + tags: ['**'] + workflow_dispatch: + inputs: + branch: + description: 'Boost branch to run for' + required: false + default: 'auto' + options: + - auto + - master + - develop jobs: posix: @@ -22,10 +33,13 @@ jobs: - uses: actions/checkout@v4 - name: Setup Boost run: | - REF=${GITHUB_BASE_REF:-$GITHUB_REF} - REF=${REF#refs/heads/} - echo REF: $REF - BOOST_BRANCH=develop && [ "$REF" == "master" ] && BOOST_BRANCH=master || true + BOOST_BRANCH="${{inputs.branch}}" + if [[ -z $BOOST_BRANCH ]]; then + REF=${GITHUB_BASE_REF:-$GITHUB_REF} + REF=${REF#refs/heads/} + echo REF: $REF + [[ "$REF" == "master" ]] && BOOST_BRANCH=master || BOOST_BRANCH=develop + fi echo BOOST_BRANCH: $BOOST_BRANCH cd .. git clone -b $BOOST_BRANCH --depth 1 https://github.com/boostorg/boost.git boost-root diff --git a/.github/workflows/include_library.yml b/.github/workflows/include_library.yml index e0a919b..29a09df 100644 --- a/.github/workflows/include_library.yml +++ b/.github/workflows/include_library.yml @@ -7,6 +7,7 @@ on: - master - develop - feature/** + tags: ['**'] jobs: a-m: