Oliver Gugger a074c801d1 GitHub: add job ID to cache key ... To avoid the problem where multiple jobs try to create the same cache entry, we add the GitHub job ID to the cache key. The two restore keys make it possible that a job can also restore a cache entry from another job if none for the current job exist yet.		2023-01-06 09:18:28 +01:00
..
actions/setup-go	GitHub: add job ID to cache key	2023-01-06 09:18:28 +01:00
ISSUE_TEMPLATE	GitHub: add link to discussions [skip ci]	2022-10-03 18:41:36 +02:00
workflows	GitHub: make setup-go action more versatile	2023-01-06 09:18:26 +01:00
pull_request_template.md	github: simplify PR template and add more sections [skip ci]	2022-01-28 09:50:02 +02:00