2020-01-02 16:23:16 +01:00
|
|
|
status = [
|
2020-01-05 19:58:54 +01:00
|
|
|
"Rust (ubuntu-latest)",
|
2020-01-26 12:03:19 +01:00
|
|
|
"Rust (windows-latest)",
|
2020-10-12 19:53:03 +02:00
|
|
|
"Rust (macos-latest)",
|
2020-05-24 16:07:46 +02:00
|
|
|
"TypeScript (ubuntu-latest)",
|
|
|
|
"TypeScript (windows-latest)",
|
2020-01-02 16:23:16 +01:00
|
|
|
]
|
2018-01-28 12:49:42 +03:00
|
|
|
delete_merged_branches = true
|
2020-10-14 13:37:20 +02:00
|
|
|
timeout_sec = 1200 # 20 min
|