Repository navigation

Onboard slang-rhi to slang PR board-sync workflow - #804

Merged

jhelferty-nv merged 5 commits into

mainfrom

onboard-pr-board-sync

Jul 31, 2026

Merged

Onboard slang-rhi to slang PR board-sync workflow#804
jhelferty-nv merged 5 commits into
mainfrom
onboard-pr-board-sync

Commits on Jul 30, 2026
- Onboard slang-rhi to slang PR board-sync workflow
  jhelferty-nv
  committed
  ae2361b
Commits on Jul 31, 2026
- Allow ref-pinning slang board-sync reusable workflows in zizmor
  jhelferty-nv
  committed
  f88d104
- Fix zizmor pattern to match reusable-workflow subpaths
  jhelferty-nv
  committed
  8271617
- Simplify zizmor.yml comment to state intent only
  jhelferty-nv
  committed
  bc3d911
- Add nightly PR board sweep caller
  jhelferty-nv
  committed
  878ab52