Merge branch 'mr/425-add-precision-for-ada-essentials-subprogram-modu… #3666

Job	Run time
Labs-Slides	1m 4s
Contrib scripts check	1m 33s
List-Courses	4s
Labs (ubuntu-latest)	53s
Python scripts black lint check	7s
Slides (gnatsas)	4m 53s
Slides (spark_essentials)	6m 19s
Slides (rust_essentials)	8m 37s
Slides (misc_tools)	2m 0s
Slides (gnat_studio)	2m 31s
Slides (static_analysis_via_compiler)	1m 52s
Slides (ada_essentials)	22m 26s
Slides (toolchain)	1m 56s
Slides (gnatdas)	4m 14s
Slides (gnatsas/standard_course.txt)	2m 11s
Slides (rust_essentials/standard_course.txt)	2m 28s
Slides (toolchain/gnat_toolchain.txt)	1m 54s
Slides (gnat_project_facility)	3m 2s
Slides (ada_essentials/advanced.txt)	3m 26s
Slides (spark_essentials/standard_course.txt)	2m 56s
Slides (gnat_studio/course.txt)	1m 53s
Slides (gnat_project_facility/standard_course.txt)	2m 30s
Slides (rust_essentials/comprehensive_course.txt)	2m 35s
Slides (advanced_exception_analysis)	1m 45s
Slides (ada_essentials/standard_course.txt)	3m 50s
Slides (gnatdas/standard_course.txt)	2m 14s
	1h 29m 13s

Provide feedback