Handvask / handvask

Consider using in PYL-R1714
Performance
Major
a year agoa year old
Consider merging these comparisons with 'in' by using 'run.status.id in (Run_status.RUNNING, Run_status.PROVING_OPTIMALITY)'. Use a set instead if elements are hashable.
220    if run.user.id != user_id and not bool(User[user_id].sys_admin):
221        raise HTTPException(status_code=401, detail="Access denied")
222    if (
223        run.status.id == Run_status.RUNNING224        or run.status.id == Run_status.PROVING_OPTIMALITY
225    ):
226        resp = requests.post(