Merge branch 'fix_gitlab_ci' into 'main'

HOTFIX: Makefile: Problem -> Question See merge request feng/training/labs_solar_system!30
AdaCore · Nov 17, 2023 · 5ce5ec1 · 5ce5ec1
2 parents f6715cb + 4e31d21
commit 5ce5ec1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -89,7 +89,7 @@ build_problems:
     for lab in "Array_Types" "Record_Types" "Subprograms" "Packages" "Private_Types" "Access_Types" \
 	"Exceptions" "Interfacing_With_C" "Tasking_Protected_Objects" "Subprogram_Contracts"; do \
 		echo $$lab; \
-		Mode=Problem Lab="$$lab" alr build; \
+		Mode=Question Lab="$$lab" alr build; \
 	done
 
 build_solutions: