chore: Enhance Dotty PR body with developer checklist and documentation reminder #67

Job	Run time
Check if source files were modified, skip remaining jobs if not / Check if source files were modified, skip remaining jobs if not	16s
Check if source files were modified, skip remaining jobs if not / Check if source files were modified, skip remaining jobs if not	16s
Run Unit Tests	11m 44s
Run Unit Tests	10m 39s
	22m 55s

Provide feedback