Skip to content

Add common workspace handling and reproducibility guidance - #819

Merged
Sun Haoran (haoranpb) merged 2 commits into
mainfrom
refactor/generic-changes
Aug 27, 2026
Merged

Add common workspace handling and reproducibility guidance#819
Sun Haoran (haoranpb) merged 2 commits into
mainfrom
refactor/generic-changes

Conversation

@haoranpb

Copy link
Copy Markdown
Collaborator

Identified some generic changes from #740 , ported them here so that PR is more focused

  • Add reusable workspace cleanup and ensure skipped clones still create a shared directory

Improved documentation regarding commit sha now we bump into similar problems 2 times in a row

  • Clarify that comparison runs require clean, remotely fetchable commits.

@haoranpb
Sun Haoran (haoranpb) merged commit c9346ae into main Aug 27, 2026
14 of 16 checks passed
@haoranpb
Sun Haoran (haoranpb) deleted the refactor/generic-changes branch August 27, 2026 08:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants