clicepfl/infra

Prevent race in webhook

Open

#193 opened on Mar 29, 2026

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Rust (1 fork)auto 404
buggood first issue

Repository metrics

Stars
 (3 stars)
PR merge metrics
 (PR metrics pending)

Description

It's not possible to run multiple ansible-pull command concurrently for the same repo, as it causes some data race issues (see #192 for example). To avoid this, the webhook should contain a lock to serialize all deployments.

Contributor guide