Merge pull request #3318 from deepseek-harness/release/vendor-4.0.2

release(vendor): cordis 4.0.2, cosmokit 1.8.3, group 1.0.2, hmr 1.0.1…

Update

release(vendor): cordis 4.0.2, cosmokit 1.8.3, group 1.0.2, hmr 1.0.1…

Date
2026-08-30
Version
master@739d9d5
commit
739d9d5

View commit on GitHub

release(vendor): cordis 4.0.2, cosmokit 1.8.3, group 1.0.2, hmr 1.0.1…