New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Mechanical] Rename ReplicatedLogletId to LogletId #2450

Merged

AhmedSoliman merged 2 commits into main from pr2450

Dec 23, 2024

Merged

[Mechanical] Rename ReplicatedLogletId to LogletId #2450

[Mechanical] Rename ReplicatedLogletId to LogletId

GitHub Actions / Test Results succeeded Dec 20, 2024 in 0s

All 46 tests pass, 1 skipped in 2m 0s

5 files 5 suites 2m 0s ⏱️
47 tests 46 ✅ 1 💤 0 ❌
119 runs 117 ✅ 2 💤 0 ❌

Results for commit 2178a2e.

View more details on GitHub Actions