Kacper Michajłow b03fa20015 ci: save cache also on failures ... This makes rebuilds after build failures significantly faster. There is no reason to discard newly acquired ccache entries.		2024-05-20 18:06:35 +02:00
..
build.yml	ci: save cache also on failures	2024-05-20 18:06:35 +02:00
cleanup_caches.yml	workflows/cleanup_caches: minor cosmetic changes	2024-05-20 18:04:54 +02:00
comment.yml	workflows/comment: refactor comment workflow to not use github-script	2024-05-20 18:04:54 +02:00
docs.yml	github/workflows: generate html and pdf in docs job as well	2024-03-06 22:49:07 +00:00
lint.yml	github/workflows: add lua linting	2024-05-12 20:06:39 +02:00