Jenkins Deprecation Notice

I’ve since stopped running my own Jenkins instance and have switched to Github Actions.

If you’re looking for development builds of one of the things I’ve made, see the following:

• Luminous: the Dream
• MPPatch
• PrincessEdit