Make type invariant quizzes the same #3665

Job	Run time
List-Courses	5s
Contrib scripts check	1m 20s
Python scripts black lint check	11s
Labs-Slides	1m 4s
Labs (ubuntu-latest)	45s
Slides (gnat_studio)	2m 44s
Slides (static_analysis_via_compiler)	1m 53s
Slides (gnatsas)	5m 25s
Slides (rust_essentials)	5m 43s
Slides (gnatdas)	4m 47s
Slides (toolchain)	1m 57s
Slides (gnat_project_facility)	2m 57s
Slides (toolchain/gnat_toolchain.txt)	1m 56s
Slides (ada_essentials)	22m 50s
Slides (advanced_exception_analysis)	1m 46s
Slides (misc_tools)	1m 25s
Slides (rust_essentials/standard_course.txt)	2m 11s
Slides (rust_essentials/comprehensive_course.txt)	2m 58s
Slides (gnatsas/standard_course.txt)	1m 44s
Slides (spark_essentials/standard_course.txt)	3m 20s
Slides (spark_essentials)	7m 5s
Slides (ada_essentials/advanced.txt)	3m 11s
Slides (gnatdas/standard_course.txt)	2m 42s
Slides (gnat_project_facility/standard_course.txt)	1m 24s
Slides (gnat_studio/course.txt)	1m 55s
Slides (ada_essentials/standard_course.txt)	5m 15s
	1h 28m 33s

Provide feedback