Martin Liska adb70de1c4 CI: use key-restore for cache GH action ... It seems one can't overwrite a cache entry: ``` Failed to save: Unable to reserve cache with key linkcheck--0.8.1, another job may be creating this cache. More details: Cache already exists. Scope: refs/heads/master, Key: linkcheck--0.8.1, Version: 33f8fd511bed9c91c40778bc5c27cb58425caa894ab50f9c5705d83cb78660e0 Warning: Cache save failed. ``` A proper solution is to use `restore-keys`: https://github.com/actions/cache/blob/main/tips-and-workarounds.md#update-a-cache		2025-01-25 18:22:00 +01:00
..
ci.yml	CI: use key-restore for cache GH action	2025-01-25 18:22:00 +01:00
date-check.yml	Upgrade actions to use Node.js v20 (#1863)	2024-01-28 19:45:18 -03:00
rustc-pull.yml	Send a message to Zulip when a sync finishes	2025-01-20 18:15:59 +01:00