diff --git a/scripts/testbed-create.py b/scripts/testbed-create.py index ec95f31..9aa62b7 100755 --- a/scripts/testbed-create.py +++ b/scripts/testbed-create.py @@ -113,11 +113,7 @@ def create_layers(entries: Iterable[TestbedEntry]) -> Iterable[TestbedLayer]: if git_url is None: logging.error(f"{pkg['fullName']}: Package lacks a Git source") else: - cache_builds = ( - args.cache and - pkg['owner'] in ['leanprover', 'leanprover-community'] and - pkg['fullName'] != 'leanprover-community/mathlib' - ) + cache_builds = args.cache and pkg['fullName'] != 'leanprover-community/mathlib' entry = create_entry( pkg['fullName'], git_url, toolchains, args.version_tags, cache_builds,