Upgrade website dependency graph to remove vulnerable transitive packages#239

NikolajBjorner with Copilot wants to merge 3 commits into

mainmicrosoft/z3guide:mainfrom

copilot/fix-known-security-vulnerabilitiesmicrosoft/z3guide:copilot/fix-known-security-vulnerabilitiesCopy head branch name to clipboard