CI: bump timeout to 20 minutes#387
Merged
bors[bot] merged 1 commit intoknurling-rs:mainfrom Feb 12, 2021
jonas-schievink:ci-timeout
Merged
CI: bump timeout to 20 minutes#387bors[bot] merged 1 commit intoknurling-rs:mainfrom jonas-schievink:ci-timeout
bors[bot] merged 1 commit intoknurling-rs:mainfrom
jonas-schievink:ci-timeout
