Support undefined, number in JSON module#3980

mario-campos wants to merge 3 commits into

maingithub/codeql-action:mainfrom

mario-campos/add-optional-to-jsongithub/codeql-action:mario-campos/add-optional-to-jsonCopy head branch name to clipboard