[pmd-commits] [pmd/pmd] 1ac1bd: Explicitly enable profile cli-dist for PR builds

[Andreas Dangel via Pmd-commits]

  Branch: refs/heads/master
  Home:   https://github.com/pmd/pmd
  Commit: 1ac1bde6e238c1dd14680dde635c2f08f2982042
      https://github.com/pmd/pmd/commit/1ac1bde6e238c1dd14680dde635c2f08f2982042
  Author: Andreas Dangel <andreas.dan...@pmd-code.org>
  Date:   2023-11-23 (Thu, 23 Nov 2023)

  Changed paths:
    M .ci/build.sh

  Log Message:
  -----------
  Explicitly enable profile cli-dist for PR builds




_______________________________________________
Pmd-commits mailing list
Pmd-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/pmd-commits