diff --git a/src/agents/skills/refresh.ts b/src/agents/skills/refresh.ts index 24a207efd..137141daa 100644 --- a/src/agents/skills/refresh.ts +++ b/src/agents/skills/refresh.ts @@ -26,11 +26,12 @@ const workspaceVersions = new Map(); const watchers = new Map(); let globalVersion = 0; -export const DEFAULT_SKILLS_WATCH_IGNORED = [ +export const DEFAULT_SKILLS_WATCH_IGNORED: RegExp[] = [ /(^|[\\/])\.git([\\/]|$)/, /(^|[\\/])node_modules([\\/]|$)/, /(^|[\\/])dist([\\/]|$)/, -] as RegExp[]; +]; +]; function bumpVersion(current: number): number { const now = Date.now();