Skip to content

CI: cache and pin the Python dependency install - #1384

Merged
gusthoff merged 7 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/ci/python-dep-cache/2026-09-18
Sep 18, 2026
Merged

gusthoff merged 7 commits into
AdaCore:mainfrom
gusthoff:dev/topic/infrastructure/ci/python-dep-cache/2026-09-18