Skip to content

Evergreen: always merge main first, then fix CI as separate pushes#267

Merged
mrjf merged 2 commits into
mainfrom
copilot/evergreen-merge-main-first
May 4, 2026
Merged

Evergreen: always merge main first, then fix CI as separate pushes#267
mrjf merged 2 commits into
mainfrom
copilot/evergreen-merge-main-first

Commits

Commits on May 4, 2026