Vadim Zeitlin 73dc9086f5 Don't fail the entire CI run just because of cache saving error ... Update ccache-action to a not yet released version including the fix for failing the entire CI job if saving the cache failed -- this shouldn't happen at all, but in practice it does happen from time to time, and it's better to succeed, rather than fail in this case.		2022-04-16 16:07:20 +02:00
..
ISSUE_TEMPLATE	Ask whether X11 or Wayland is used in the bug report template	2022-02-19 22:36:50 +01:00
workflows	Don't fail the entire CI run just because of cache saving error	2022-04-16 16:07:20 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00