mirror of https://github.com/koreader/koreader
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
76bdb7e65c
Don't cache the whole base directory; instead independently cache: - the build output directory - the ccache directory This allow completely avoiding the need for building base if a cache (keyed on the relevant parts of the git tree for base) is successfully restored, as well as reducing the amount of cached data. Additionally, ensure caches are isolated by branch name (but allow falling back to a "master" cache for restore): we don't want PRs using each others' caches. |
5 months ago | |
---|---|---|
.. | ||
after_success.sh | 5 months ago | |
after_success_docs_translation.sh | 2 years ago | |
build.sh | 5 months ago | |
check.sh | 5 years ago | |
common.sh | 6 months ago | |
fetch.sh | 7 years ago | |
helper_shellchecks.sh | 3 years ago | |
script.sh | 7 years ago | |
test.sh | 5 months ago |