Skip to content

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

Merged
gusthoff merged 1 commit into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/ci/redundant-checkout/2026-09-18
Sep 18, 2026
Merged

gusthoff merged 1 commit into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/ci/redundant-checkout/2026-09-18

CI: check out the repository only once per job

a2fb9b7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Analyze (python)
succeeded Sep 18, 2026 in 53s