Merge branch 'dev' into 'main'

write log while dumping file

See merge request !5
3 jobs for main