Fix type of JobSpec.timeout_mins#151

rswarbrick wants to merge 1 commit intolowRISC:masterlowRISC/dvsim:masterfrom

rswarbrick:timeout-mins-typerswarbrick/dvsim:timeout-mins-typeCopy head branch name to clipboard