chore: Revert workflow names (#1890)

This commit is contained in:
Alex Kremer
2025-02-11 18:08:47 +00:00
committed by GitHub
parent b5fe22da18
commit cd1aa8fb70
8 changed files with 315 additions and 316 deletions

View File

@@ -15,7 +15,7 @@ runs:
uses: ./.github/actions/get_number_of_threads
id: number_of_threads
with:
substract_threads: inputs.substract_threads
substract_threads: ${{ inputs.substract_threads }}
- name: Build Clio
shell: bash

View File

@@ -57,4 +57,4 @@ runs:
'' }}
run: |
cd build
cmake -DCMAKE_TOOLCHAIN_FILE:FILEPATH=build/generators/conan_toolchain.cmake -DCMAKE_BUILD_TYPE=${{ inputs.build_type }} ${SANITIZER_OPTION} .. -G Ninja
cmake -DCMAKE_TOOLCHAIN_FILE:FILEPATH=build/generators/conan_toolchain.cmake -DCMAKE_BUILD_TYPE="${BUILD_TYPE}" ${SANITIZER_OPTION} .. -G Ninja

View File

@@ -27,9 +27,8 @@ runs:
- name: Shift and export number of threads
id: number_of_threads_export
shell: bash
env:
NUM_OF_THREADS: steps.mac_threads.outputs.num || steps.linux_threads.outputs.num
SHIFT_BY: inputs.substract_threads
run: |
shifted=$((NUM_OF_THREADS - SHIFT_BY))
num_of_threads=${{ steps.mac_threads.outputs.num || steps.linux_threads.outputs.num }}
shift_by=${{ inputs.substract_threads }}
shifted=$((num_of_threads - shift_by))
echo "num=$(( shifted > 1 ? shifted : 1 ))" >> $GITHUB_OUTPUT