git: Add option to customize pattern language repo and git hash with workflow call

This commit is contained in:
Nik
2025-12-01 21:38:00 +01:00
committed by GitHub
parent a35004665f
commit faff9e0364
2 changed files with 21 additions and 2 deletions

View File

@@ -8,6 +8,11 @@ on:
repository_dispatch:
types: [run_tests]
workflow_call:
inputs:
pattern_language_git_repo:
type: string
pattern_language_git_hash:
type: string
jobs:
tests:
@@ -63,6 +68,8 @@ jobs:
-DIMHEX_PATTERNS_ENABLE_UNIT_TESTS=ON \
-DLIBPL_ENABLE_TESTS=OFF \
-DLIBPL_ENABLE_CLI=OFF \
-DIMHEX_PATTERNS_LIBPL_GIT_REPO="${{ inputs.pattern_language_git_repo }}" \
-DIMHEX_PATTERNS_LIBPL_GIT_HASH="${{ inputs.pattern_language_git_hash }}" \
-G Ninja \
..
ninja unit_tests