I just copied #11, but did not notice the unescaped dot in the regex.
In addition, I made the Java CI workflow run on pull requests to avoid errors on PRs like in #16, which happened because GitHub Codespaces was down in Europe and I was using the default web editor.
I just copied #11, but did not notice the unescaped dot in the regex. In addition, I made the Java CI workflow run on pull requests to avoid errors on PRs like in #16, which happened because GitHub Codespaces was down in Europe and I was using the default web editor.