udoprog / leaky-bucket

A token-based rate limiter based on the leaky bucket algorithm.
Apache License 2.0
92 stars 10 forks source link

Enable miri in CI #19

Closed udoprog closed 7 months ago

udoprog commented 7 months ago

Adopted test timers from #18, so that miri can be enabled in CI.