diff --git a/.github/workflows/dev_environment.yml b/.github/workflows/dev_environment.yml index 37b34d0535d..0fa338afde1 100644 --- a/.github/workflows/dev_environment.yml +++ b/.github/workflows/dev_environment.yml @@ -260,7 +260,7 @@ jobs: if ${{ inputs.update_registry_cache != '' }}; then registry_cache_target=$(echo ${{ inputs.update_registry_cache }} | tr / -) - build_cache="type=registry,ref=${registry_cache}-${cache_id}-${platform_id}:$registry_cache_target" + build_cache="type=registry,compression=zstd,force-compression=true,oci-mediatypes=true,compression-level=15,ref=${registry_cache}-${cache_id}-${platform_id}:$registry_cache_target" cache_to="${build_cache},mode=max,ignore-error=false" elif ${{ inputs.create_local_cache }}; then # In general, using the build cache from the registry/parent branch is the quickest. @@ -268,7 +268,7 @@ jobs: build_cache="${local_buildcache_key}" cache_to="type=local,dest=${local_buildcache_path}-new,mode=max,ignore-error=true" else - build_cache="type=registry,ref=${registry_cache}-${cache_id}-${platform_id}:$registry_cache_base" + build_cache="type=registry,compression=zstd,force-compression=true,oci-mediatypes=true,compression-level=15,ref=${registry_cache}-${cache_id}-${platform_id}:$registry_cache_base" fi # Registry caches pull from a separate cache for each platform @@ -284,10 +284,10 @@ jobs: echo 'cache_from_registry<> $GITHUB_OUTPUT