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

Conversation

@gusthoff

Copy link
Copy Markdown
Collaborator

Three workflows ran actions/checkout twice, with only setup-python between the two. The second one re-fetched and re-materialized the whole tree on every run.

It dates back to two separate workflows being merged into one file, each contributing its own checkout, and nothing came to depend on it: the step in between writes to the tool cache and pip's cache directory, not to the workspace, so the tree is identical either way. The plugin and type-check workflows check out once and have all along.

Three workflows ran `actions/checkout` twice, with only `setup-python`
between the two. The second one re-fetched and re-materialized the whole
tree on every run.

It dates back to two separate workflows being merged into one file, each
contributing its own checkout, and nothing came to depend on it: the step
in between writes to the tool cache and pip's cache directory, not to the
workspace, so the tree is identical either way. The plugin and type-check
workflows check out once and have all along.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@gusthoff
gusthoff merged commit 57dc8f2 into AdaCore:main Sep 18, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant