653501758d
A workaround for #2695 During the plugin installation, we create a temporary folder, unzip the binary, and then rename the folder to a permanent name. The rename fails 90% of the time with access denied. An immediate retry of renaming seems to always succeed. |
||
---|---|---|
.. | ||
apitype | ||
backend | ||
codegen/python | ||
diag | ||
encoding | ||
engine | ||
graph | ||
operations | ||
resource | ||
secrets | ||
testing | ||
tokens | ||
tools | ||
util | ||
version | ||
workspace |