On Wed, 9 Apr 2025 20:29:45 GMT, Magnus Ihse Bursie wrote:
>> If there is something wrong with the build, the user can run "make doctor".
>> That is hard to do in a CI setting. Instead, if the build environment is
>> detected to be a CI, we should run the doctor automatically in case of a
>> f
On Mon, 7 Apr 2025 08:45:13 GMT, Magnus Ihse Bursie wrote:
> Allow the user to set "--with-jcov-modules=java.desktop", instead of
> "--with-jcov-filters=--include-modules java.desktop", since this is one of
> the common use cases for the filtering.
Should we update the copyright year from 2024
