Skip to content
CI

Fix race between closing an observable and a subscriber polling #253

Sign in to view logs

Fix race between closing an observable and a subscriber polling

Fix race between closing an observable and a subscriber polling #253

Triggered via pull request July 11, 2024 22:27
@jplattejplatte
synchronize #55
fix-race
Status Success
Total duration 1m 35s
Artifacts –

ci.yml

on: pull_request
Run tests (Rust stable)
16s
Run tests (Rust stable)
Check documentation (Rust stable)
22s
Check documentation (Rust stable)
Check Formatting
13s
Check Formatting
Run tests with miri (Rust nightly)
1m 24s
Run tests with miri (Rust nightly)
Run clippy (Rust nightly)
17s
Run clippy (Rust nightly)
Spell Check with Typos
6s
Spell Check with Typos
Fit to window
Zoom out
Zoom in