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.
Error: "Server error"
If you see this error, try these steps.
Code scanning is available for all public repositories on GitHub.com. Code scanning is also available for private repositories owned by organizations that use GitHub Enterprise Cloud and have a license for GitHub Advanced Security. For more information, see "About GitHub Advanced Security."