Repository navigation

feat(omp): support integration args and options in build_exec_args - #4876

Merged

mnriem merged 12 commits into

github:mainfrom

kevinnguyenhoang91:kevinnguyenhoang91/feat/enable_integration_args_options_omp

Nov 9, 2026

Merged

feat(omp): support integration args and options in build_exec_args#4876
mnriem merged 12 commits into
github:mainfrom
kevinnguyenhoang91:kevinnguyenhoang91/feat/enable_integration_args_options_omp

Commits on Oct 8, 2026
Commits on Oct 30, 2026
- fix(omp): reject '--' option terminator in integration_args
  
  kevinnguyenhoang91
  and
  claude
  committed
  6234eee
- Merge origin/main into feat/enable_integration_args_options_omp
  
  kevinnguyenhoang91
  and
  claude
  committed
  e291124
- docs: drop OMP-specific paragraph from workflows reference
  
  kevinnguyenhoang91
  and
  claude
  committed
  346e555
Commits on Nov 3, 2026
- fix(omp): restrict integration_args to parser-safe tokens
  
  authored and
  Ubuntu
  committed
  818ce72
- Merge remote-tracking branch 'origin/main' into kevinnguyenhoang91/feat/enable_integration_args_options_omp
  
  Ubuntu
  authored and
  Ubuntu
  committed
  4c865fe
- fix(omp): reject equals-form help/version/print in integration_args
  
  kevinnguyenhoang91
  and
  claude
  committed
  b236d49
Commits on Nov 4, 2026
- fix(omp): reserve --export/--alias/--mode and emit --mode text when JSON is off
  
  Kha Nguyen
  and
  claude
  committed
  0042975
Commits on Nov 8, 2026
- fix(omp): reject inline values on valueless integration_args flags
  
  kevinnguyenhoang91
  and
  claude
  committed
  b38d29e
Commits on Nov 9, 2026
- docs(omp): clarify that integration `tools` is not an allowlist
  kevinnguyenhoang91
  committed
  c0a1cd3