Repository navigation

Set up Mergepatrol - #97

Merged

joaquim-verges merged 3 commits into

mainfrom

mergepatrol/config

Oct 30, 2026

Merged

Set up Mergepatrol#97
joaquim-verges merged 3 commits into
mainfrom
mergepatrol/config

Commits on Oct 30, 2026
- Set up Mergepatrol
  
  joaquim-verges
  and
  nebula-ai-agent[bot]
  authored
  de6a01a
- Set Mergepatrol verify commands
  
  authored
  868c1ea
- Make the required build check wait on Determinism
  
  authored
  9b6537e