update jenkinsfile

This commit is contained in:
Zheyuan Wu
2025-10-25 11:29:16 -05:00
parent f124f7a744
commit a6012a17c1
4 changed files with 115 additions and 36 deletions

View File

@@ -108,9 +108,12 @@ export const ClientNavbar: FC<{
item => !('href' in item)
).map(item => item.title)
)
console.log('existingCourseNames', existingCourseNames)
// filter out elements in topLevelNavbarItems with url but have title in existingCourseNames
const filteredTopLevelNavbarItems = topLevelNavbarItems.filter(item => !('href' in item && existingCourseNames.has(item.title)))
console.log('filteredTopLevelNavbarItems', filteredTopLevelNavbarItems)
// or even better, remove all old doc page generated links
// this don't make sense because it will destroy the navbar structure highlight for children pages
// const filteredTopLevelNavbarItems = topLevelNavbarItems.filter(item => !('firstChildRoute' in item))