Skip to content

fix a bug when the synchronizer was closed but still has some elements and one where we would not end a pledge in case of failure #17

fix a bug when the synchronizer was closed but still has some elements and one where we would not end a pledge in case of failure

fix a bug when the synchronizer was closed but still has some elements and one where we would not end a pledge in case of failure #17

Triggered via pull request December 12, 2025 16:51
@redianthusredianthus
synchronize #5
deadlock
Status Success
Total duration 1m 17s
Artifacts

build-nix.yml

on: pull_request
Fit to window
Zoom out
Zoom in