Not starting

I recently had my alternator brush and belt replaced. my car was running fine; no issues lag or starting problems. I went to the store went to get back into my car and it won’t start. the wheel is locked, the lights on the dashboard and radio as well as the air come on. the engine will not turn over even with a jump though. There is an error code that comes up saying fault running gear workshop.what could this be?