Given a mapping from old names to new names, how can I rename all task keys in the graph?
I tried renaming keys in hlg.keys(), but am not sure how to then create a new HighLevelGraph from that.
Given a mapping from old names to new names, how can I rename all task keys in the graph?
I tried renaming keys in hlg.keys(), but am not sure how to then create a new HighLevelGraph from that.