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.
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.