The Wayback Machine - https://web.archive.org/web/20230922093546/https://docs.github.com/en/code-security/code-scanning/troubleshooting-code-scanning/server-error

Error: "Server error"

If you see this error, try these steps.

If the run of a workflow for code scanning fails due to a server error, try running the workflow again. If the problem persists, contact GitHub Support.