CI: check out the repository only once per job - #1385

CI: check out the repository only once per job#1385

gusthoff merged 1 commit into

AdaCore:mainAdaCore/learn:mainfrom

gusthoff:dev/topic/infrastructure/ci/redundant-checkout/2026-09-18gusthoff/ada-learning-material:dev/topic/infrastructure/ci/redundant-checkout/2026-09-18Copy head branch name to clipboard