automatalib
automatalib copied to clipboard
Add support for Java 17 (LTS) to CI pipeline
With Java 17, we have a new LTS version of Java that should be tested continuously.