Files
git/ci
Johannes Schindelin 59af6af7e1 ci: stop linking the prove cache
It is not useful because we do not have any persisted directory anymore,
not since dropping our Travis CI support.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
2022-08-11 15:44:31 -07:00
..