tree 78931a3843bb842e6c37cb2dedfed2769bc62600
parent 08cc2e53e9e46d2ffcaee20cd1e6a20e3f1a79da
author Marc Kupietz <kupietz@ids-mannheim.de> 1788616037 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1788619765 +0200

CI: discard the cached R library when the image's R changes

The cache holds rlib/, which holds compiled code. A newer R in the image
does not rebuild that code but refuses to load it, so the job died in its
before_script with

  rlib/vctrs/libs/vctrs.so: undefined symbol: SETLENGTH

and never got to the tests. Since a cache key cannot be derived from the
R version of an image that is only pulled later, the version is recorded
in the library and the library discarded when it no longer matches.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Change-Id: I09fc147c114533987c82dd558c77ac36f00904a0