Skip to content
This repository was archived by the owner on Apr 28, 2023. It is now read-only.

Allow using a user-defined key in the compilation cache #233

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

thetheodor
Copy link

resolves #230

Copy link
Contributor

@nicolasvasilache nicolasvasilache left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

trying to unsubscribe, don't see a way other than approving

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Support for user-provided cache key to reuse autotuning results on different machines
3 participants