Build #10

Updates the Jalview Develop 2-12 builds at https://www.jalview.org/development/jalview_develop-2-12/

Build: #10 was successful

Job: Default Job was successful

Stages & jobs

  1. Default Stage

Code commits

Jalview Gitlab

  • Gitlab User

    Gitlab User 1f2ba28869776942e4726500e9264371cd278e90

    JAL-4107 JAL-4640 fix broken getInstance and patched out ops on local Hmmer preference widgets not initialised in JalviewJS

    • src/jalview/gui/Preferences.java (version 1f2ba28869776942e4726500e9264371cd278e90)