mirror of
https://github.com/THU-MAIC/OpenMAIC.git
synced 2026-10-28 16:35:27 +08:00
Adds `integration/workbench-home` to the CI `push` and `pull_request` branch lists, following the existing integration branches, so the branch cut from `main` and its sub-PRs run the main CI. Tracked in #1957.