We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d686e59 commit 1ea06f6Copy full SHA for 1ea06f6
packages/testing/src/framework/cli/fill.py
@@ -82,6 +82,7 @@ def fill(
82
if layer.lower() == "consensus":
83
# Import here to avoid loading leanSpec modules before LEAN_ENV is set
84
from consensus_testing.keys import _download_keys, _get_keys_dir
85
+
86
keys_dir = _get_keys_dir(scheme.lower())
87
88
# Check if keys already exist, if not, download them
0 commit comments