]> git.99rst.org Git - git.git/commit
git.99rst.org / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a56b623)
coverity: cache the Coverity Build Tool
authorJohannes Schindelin <redacted>
Mon, 25 Sep 2023 11:50:58 +0000 (11:50 +0000)
committerJunio C Hamano <redacted>
Mon, 25 Sep 2023 17:12:48 +0000 (10:12 -0700)
commit002e5e9ad163f30e1664a2bf37e45097c8ab6be5
treec05b2aa8c6b5987503ffe38655a558df47c8a69etree
parenta56b6230d0b1901c01e355320c7afdbf5a6ae01bcommit | diff
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 <redacted>
Signed-off-by: Junio C Hamano <redacted>
.github/workflows/coverity.yml diff | blob | history
git clone https://git.99rst.org/PROJECT