time.Rd
Set time limit for a resource profile
time(profile, value)
A resource profile object
Time limit (e.g., "4:00:00", "2-00:00:00")
Updated profile object
masks stats::time when parade is attached; use res_time() to avoid masking.
# \donttest{ resources <- res_time(profile(), "8:00:00") # }