Skip to content
CI

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

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 #254

Triggered via push July 11, 2024 22:48
@jplattejplatte
pushed 9517fa4
main
Status Success
Total duration 1m 26s
Artifacts –

ci.yml

on: push
Run tests (Rust stable)
13s
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 17s
Run tests with miri (Rust nightly)
Run clippy (Rust nightly)
13s
Run clippy (Rust nightly)
Spell Check with Typos
5s
Spell Check with Typos
Fit to window
Zoom out
Zoom in