ci: fix image push step

cartesi · Nov 30, 2023 · 2ee8557 · 2ee8557
1 parent 83883f6
commit 2ee8557
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -100,6 +100,7 @@ jobs:
             TOOLCHAIN_REPOSITORY=${{ env.TOOLCHAIN_REPOSITORY }}
             TOOLCHAIN_VERSION=${{ env.TOOLCHAIN_VERSION }}
             KERNEL_VERSION=${{ env.KERNEL_VERSION }}
+            KERNEL_TIMESTAMP=${{ env.KERNEL_TIMESTAMP }}
             IMAGE_KERNEL_VERSION=${{ env.IMAGE_KERNEL_VERSION }}
             OPENSBI_VERSION=${{ env.OPENSBI_VERSION }}
           cache-from: type=gha,scope=regular