Update plugins/devtools/config.d.ts

Co-authored-by: Fredrik Adelöw <freben@gmail.com> Signed-off-by: williamwu-mongodb <william.t.wu@mongodb.com>
2025-12-09 11:14:52 -08:00
parent 2c7447ca3a
commit 6a552b389a
1 changed files with 2 additions and 2 deletions
@@ -14,12 +14,12 @@
 * limitations under the License.
 */
 export interface Config {
-  devTools: {
+  devTools?: {
    /**
     * Scheduled tasks configuration
     * @visibility frontend
     */
-    scheduledTasks: {
+    scheduledTasks?: {
      /**
       * A list of plugin IDs to select from, e.g. ['catalog', 'scaffolder']
       * @visibility frontend