fix(CI): tools (#19453)

* fix(CI): tools

* Update tools_build.yml

* I dont think this is neccessary. Let's see if CI agrees with me
This commit is contained in:
Kitzunu
2024-07-20 20:27:08 +02:00
committed by GitHub
parent 21f86d1c3c
commit b9136e060d
2 changed files with 21 additions and 36 deletions

View File

@@ -16,6 +16,11 @@ inputs:
description: Flag to install modules or not
required: true
type: boolean
tools:
default: none
description: Flag to enable tools build
required: false
type: string
pch:
default: false
description: Flag to enable or disable PCH
@@ -94,7 +99,7 @@ runs:
cmake "$GITHUB_WORKSPACE" \
-DCMAKE_INSTALL_PREFIX="$GITHUB_WORKSPACE/env/dist" \
-DAPPS_BUILD="all" \
-DTOOLS_BUILD="all" \
-DTOOLS_BUILD=${{ inputs.tools }} \
-DSCRIPTS="static" \
-DMODULES="static" \
-DWITH_WARNINGS="ON" \
@@ -144,10 +149,6 @@ runs:
shell: bash
run: sudo systemctl start mysql.service
- name: run dbimport
shell: bash
run: env/dist/bin/dbimport
- name: Dry run authserver
shell: bash
run: timeout 5m env/dist/bin/authserver --dry-run