The GitHub Actions job "Required Checks" on texera.git/test-pause-type-spec has succeeded. Run started by GitHub user aglinxinyuan (triggered by aglinxinyuan).
Head commit for run: 9d20e344a3949bd496ac74df0ad8510955a3c68a / Xinyuan Lin <[email protected]> test(amber): pin PauseType Set-coexistence contract used by PauseManager Address Yicong-Huang's review on #4914 about pause priorities. PauseType itself has no priority — `PauseManager` stores active pauses in a `HashSet[PauseType]` (additive, no override order; resuming one type only removes that type). The data type's job is to behave well as Set elements; the multi-pause behavior through `pause`/`resume`/`isPaused` lives in `WorkerManagersSpec`. Add three Set-based tests pinning what PauseManager actually relies on: - All four pause kinds coexist as distinct Set elements (no aliasing). - Set deduplicates identical pauses (singletons collapse, same-id ECMPause collapses), so PauseManager.pause(t) on a duplicate is a no-op. - ECMPause instances with different ids are independently tracked, so resuming one checkpoint pause does not clear another. Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]> Report URL: https://github.com/apache/texera/actions/runs/25307138341 With regards, GitHub Actions via GitBox
