When gkno is built, tools that failed to compile are not included in the user_settings.json file and are consequently not available. When gkno is updated, failed tools will be ignored. Provide a list of tools that are part of gkno, but have not been compiled whenever gkno is updated.
When gkno is built, tools that failed to compile are not included in the user_settings.json file and are consequently not available. When gkno is updated, failed tools will be ignored. Provide a list of tools that are part of gkno, but have not been compiled whenever gkno is updated.