#738 (May 22, 2024, 5:10:19 PM)

1. Add Jenkinsfile for Github builds. (details / githubweb)
2. Fix missing '\' (details / githubweb)
3. Bug #1: StackOverflowError in ByteCodeSwitch.caseInvokeCbS (details / githubweb)

Started by an SCM change

This run spent:

• 17 sec waiting;
• 7 min 45 sec build duration;
• 8 min 3 sec total from scheduled to completion.

• origin/master