diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-02-14 17:42:12 +0100 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-09-14 18:58:44 +0200 |
commit | bbbbdb0cd57d75a06357d2811363d30a498f4499 (patch) | |
tree | e27fde6a98d8a81ea08890a10c544620559624a1 /.cirrus.yml | |
parent | fada2f91108a56cc5c447bd6b6fac411e4d5cdca (diff) |
ci: Add filesystem lint check
Diffstat (limited to '.cirrus.yml')
-rw-r--r-- | .cirrus.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 96357a103d..377b32422e 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -84,6 +84,9 @@ task: memory: 1G # For faster CI feedback, immediately schedule the linters << : *CREDITS_TEMPLATE + test_runner_cache: + folder: "/lint_test_runner" + fingerprint_script: echo $CIRRUS_TASK_NAME $(git rev-parse HEAD:test/lint/test_runner) python_cache: folder: "/python_build" fingerprint_script: cat .python-version /etc/os-release |