David Craven 75316e2982 Add interval api. (#41) ... * Add interval api. * Fix workflows. * Address review comments. * Don't tick immediately. * Increase allowed jitter for ci.		2020-11-28 20:54:01 +01:00
..
async.rs	Update futures-lite	2020-10-09 14:33:16 +02:00
timer.rs	Add interval api. (#41)	2020-11-28 20:54:01 +01:00