diff options
author | bdonlan <bdonlan@gmail.com> | 2020-11-23 10:42:50 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-23 10:42:50 -0800 |
commit | ae67851f11b7cc1f577de8ce21767ce3e2c7aff9 (patch) | |
tree | be43cb76333b0e9e42a101d659f9b2e41555d779 /.github | |
parent | f927f01a34d7cedf0cdc820f729a7a6cd56e83dd (diff) |
time: use intrusive lists for timer tracking (#3080)
More-or-less a half-rewrite of the current time driver, supporting the
use of intrusive futures for timer registration.
Fixes: #3028, #3069
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9bf58b4a..dd4972ed 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -260,6 +260,7 @@ jobs: - loom_pool::group_b - loom_pool::group_c - loom_pool::group_d + - time::driver steps: - uses: actions/checkout@v2 - name: Install Rust |