Repository navigation

Checkout base branch instead of PR head in build workflow - #204

Merged

DaanHoogland merged 6 commits into

mainfrom

Feb 17, 2026

Commits on Feb 3, 2026
- Checkout base branch instead of PR head in build workflow
  Pearl1594
  committed
  2b6b634
- update workflow
  Pearl1594
  committed
  d65437b
- Add comment workflow
  Pearl1594
  committed
  cbfe74a
Commits on Feb 11, 2026
- address copilot pr number retrieval code
  Pearl1594
  committed
  08b2fd3
- add note
  Pearl1594
  committed
  48969d4
Commits on Feb 17, 2026
- fix note
  Pearl1594
  committed
  9cbaa93