| commit | 002e5e9ad163f30e1664a2bf37e45097c8ab6be5 | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Mon, 25 Sep 2023 11:50:58 +0000 (25 11:50 +0000) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Mon, 25 Sep 2023 17:12:48 +0000 (25 10:12 -0700) | ||
| tree | c05b2aa8c6b5987503ffe38655a558df47c8a69e | treesnapshot (tar.gz zip) |
| parent | a56b6230d0b1901c01e355320c7afdbf5a6ae01b | commitdiff |
coverity: cache the Coverity Build Tool
It would add a 1GB+ download for every run, better cache it.
This is inspired by the GitHub Action `vapier/coverity-scan-action`,
however, it uses the finer-grained `restore`/`save` method to be able to
cache the Coverity Build Tool even if an unrelated step in the GitHub
workflow fails later on.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
It would add a 1GB+ download for every run, better cache it.
This is inspired by the GitHub Action `vapier/coverity-scan-action`,
however, it uses the finer-grained `restore`/`save` method to be able to
cache the Coverity Build Tool even if an unrelated step in the GitHub
workflow fails later on.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| .github/workflows/coverity.yml | diffblobblamehistory |