Commit d5a4f0ae authored Jan 19, 2026 by BO ZHANG

Merge branch 'dev' into 'main'

write log while dumping file

See merge request !5