Source code

Revision control

Copy as Markdown

Other Tools

status = [ "build (stable)" ]
# As of May 2020 we can expect CI to take roughly 3 minutes based on
#
# We round this up to a timeout of 5 minutes to account for any potential future
# inconsistencies in CI run times.
timeout-sec = 300