Add Docker image caching

Robotic-Decision-Making-Lab · Aug 15, 2024 · b0b7f11 · b0b7f11
1 parent d48bcbd
commit b0b7f11
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -184,3 +184,5 @@ jobs:
           tags: ${{ steps.meta.outputs.tags }}
           labels: ${{ steps.meta.outputs.labels }}
           push: ${{ env.PUSH }}
+          cache-from: type=gha
+          cache-to: type=gha,mode=max