Henrik Böving 74f9dea701 feat: use save-always in cache action (#5010) ... Follows up on https://github.com/leanprover/lean4/pull/5003#issuecomment-2284813940		2024-08-13 09:27:15 +00:00
..
ISSUE_TEMPLATE	chore: bug template: point to live.lean-lang.org (#4109)	2024-05-08 13:21:17 +00:00
workflows	feat: use save-always in cache action (#5010)	2024-08-13 09:27:15 +00:00
PULL_REQUEST_TEMPLATE.md	chore: refine PR template (#3074)	2023-12-18 13:47:04 +00:00