post: include run attempt in cache name

mlugg · mlugg · commit edd2134a440d · 2025-06-29T16:52:12.000+01:00
diff --git a/post.js b/post.js
@@ -32,7 +32,7 @@ async function main() {
         }
 
         const prefix = await common.getCachePrefix();
-        const name = prefix + github.context.runId;
+        const name = `${prefix}${github.context.runId}-${github.context.runAttempt}`;
         core.info('Saving Zig cache');
         await cache.saveCache([cache_path], name);
       } else {

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ async function main() {`
`32`	`32`	`}`
`33`	`33`
`34`	`34`	`const prefix = await common.getCachePrefix();`
`35`		`- const name = prefix + github.context.runId;`
	`35`	+ const name = `${prefix}${github.context.runId}-${github.context.runAttempt}`;
`36`	`36`	`core.info('Saving Zig cache');`
`37`	`37`	`await cache.saveCache([cache_path], name);`
`38`	`38`	`} else {`