ada/training_material
0
0
Fork 0
mirror of https://github.com/AdaCore/training_material.git synced 2026-02-12 13:08:57 -08:00
Code Issues Packages Projects Releases Wiki Activity
2,643 Commits 478 Branches 19 Tags
master
Commit Graph

5 Commits

Author SHA1 Message Date
Michael Frank
6ec883a6cc Resolve "2025-06-23 SPARK training issues" 2026-02-05 14:13:11 +00:00
Michael Frank
615b2fc49f Fix RST indentation issues 2025-09-22 21:07:27 +00:00
Michael Frank
6f8e53885a Add -gnatyr warning to SPARK labs 2025-09-11 13:35:18 +00:00
Michael Frank
518df2a405 Resolve "Move SPARK lab content to appropriate module" 2025-08-22 16:41:37 +00:00
Michael Frank
face7a4786 Resolve "Convert folder names to correct course titles" 2025-07-01 15:18:44 +00:00