1 2 3 4 5 6 7 8 9 10
status = [ "Check (stable)", "Test (stable)", "Rustfmt", "Clippy (stable)", "Miri", "Rustdoc" ] delete_merged_branches = true timeout_sec = 600