hhvm / user-documentation

Documentation for those that use HHVM and write Hack code.
http://docs.hhvm.com/
Other
129 stars 159 forks source link

Set role-duration-seconds to 7200 #1272

Closed Atry closed 2 years ago

Atry commented 2 years ago

Set role-duration-seconds to 7200 in case that staging server takes a long time to start, e.g. https://github.com/hhvm/user-documentation/runs/7454035633?check_suite_focus=true