Skip to content

Commit

Permalink
fix:
Browse files Browse the repository at this point in the history
  • Loading branch information
misonijnik committed Aug 21, 2024
1 parent 5a3326a commit 5c370b6
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/build.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand All @@ -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
Expand Down

0 comments on commit 5c370b6

Please sign in to comment.