From 5c370b62ace79a3d77085a822005dca76ec31c21 Mon Sep 17 00:00:00 2001 From: Aleksandr Misonizhnik Date: Wed, 21 Aug 2024 18:01:25 +0200 Subject: [PATCH] fix: --- .github/workflows/build.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 4cef0bf1d0..a719906a53 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -8,10 +8,10 @@ on: branches: [main, utbot-main] workflow_dispatch: inputs: - logLevel: + warnings_as_errors: description: 'Warnings as errors' required: true - default: '1' + default: 1 # Defaults for building KLEE env: @@ -23,7 +23,7 @@ env: ENABLE_DOXYGEN: 0 ENABLE_OPTIMIZED: 1 ENABLE_DEBUG: 1 - ENABLE_WARNINGS_AS_ERRORS: {{ github.event.inputs.logLevel }} + ENABLE_WARNINGS_AS_ERRORS: ${{ github.event_name == 'workflow_dispatch' && inputs.warnings_as_errors || 1}} GTEST_VERSION: 1.11.0 KLEE_RUNTIME_BUILD: "Debug+Asserts" LLVM_VERSION: 11