Skip to content

Fix a race condition when launching the same backend concurrently from two clients. #61

Fix a race condition when launching the same backend concurrently from two clients.

Fix a race condition when launching the same backend concurrently from two clients. #61

Triggered via pull request July 25, 2026 09:16
Status Success
Total duration 7m 30s
Artifacts 3

ci.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v3, actions/setup-node@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
PIME-1.3.0-beta2-setup.exe
28.7 MB
sha256:82ee7698abfc2abbc9ad1518aa553cb1661a6ad63c672e3989ca17b37dc0e682
signed-binaries
994 KB
sha256:f75055bef7e4e5de3ec99501bdc33742f9ae705cc59c40f062eee0dbcfc38046
unsigned-binaries
967 KB
sha256:7b4ca7d87152467b836b3baa1db0408913bcc64212caef1a40e098e8e68e63ee