Merge Dev#219

Merged

arjunsuresh merged 31 commits into

mainfrom

May 20, 2026

Commits on Jan 14, 2026

Force index rebuild when a new repo is pulled (#216)
sujik18
authored

Commits on Jan 31, 2026

Improve the log output, better path handling for Windows (#217)
amd-arsuresh
authored

Commits on Feb 1, 2026

Commits on Apr 12, 2026

Better error handling (#224)
amd-arsuresh
authored

Commits on Apr 14, 2026

Create GH action for code formatting (#223)
anandhu-eng
authored

Commits on Apr 15, 2026

Use checkout instead of branch for repo cloning/pull (#225)
anandhu-eng
authored

Commits on May 15, 2026

Commits on May 20, 2026

Merge branch 'main' into dev
arjunsuresh
authored