Pipeline

Configure Jenkins Pipeline Job with JCasC

August 18, 2020