Skip to content

Store IDs rather than paths in the cache#2985

Merged
charliermarsh merged 1 commit into
mainfrom
charlie/id
Apr 11, 2024
Merged

Store IDs rather than paths in the cache#2985
charliermarsh merged 1 commit into
mainfrom
charlie/id

Conversation

@charliermarsh

Copy link
Copy Markdown
Member

Summary

Similar to Revision, we now store IDs in the Archive entires rather than absolute paths. This makes the cache robust to moves, etc.

Closes #2908.

@charliermarsh charliermarsh added the internal A refactor or improvement that is not user-facing label Apr 11, 2024
@charliermarsh charliermarsh marked this pull request as ready for review April 11, 2024 00:45
@charliermarsh charliermarsh merged commit 32f129c into main Apr 11, 2024
@charliermarsh charliermarsh deleted the charlie/id branch April 11, 2024 01:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal A refactor or improvement that is not user-facing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Cache is not robust to moves

1 participant