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.

Benoit Pierre 76bdb7e65c ci/circle: improve caching ... 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.		2 months ago
..
after_success.sh	ci/circle: improve caching	2 months ago
after_success_docs_translation.sh	[CI] Don't hide docs generation log (#9204)	2 years ago
build.sh	ci/circle: improve caching	2 months ago
check.sh	[CI] Add curly braces check (#5809)	4 years ago
common.sh	ci: remove CircleCI unnecessary steps	2 months ago
fetch.sh	Add CircleCI (#3321)	7 years ago
helper_shellchecks.sh	Terminal emulator: full rewrite, real vt52 emulator (#8636)	2 years ago
script.sh	Add CircleCI (#3321)	7 years ago
test.sh	ci/circle: improve caching	2 months ago