Skip to content

[uss_qualifier/netrid] fix #244; rename server_id to participant_id; some refactorings and fixes #1125

[uss_qualifier/netrid] fix #244; rename server_id to participant_id; some refactorings and fixes

[uss_qualifier/netrid] fix #244; rename server_id to participant_id; some refactorings and fixes #1125

Triggered via pull request October 20, 2023 10:14
Status Success
Total duration 29s
Artifacts

dev-checks.yml

on: pull_request
Clone on Windows
15s
Clone on Windows
Clone on Mac
7s
Clone on Mac
Clone on Ubuntu
6s
Clone on Ubuntu
Fit to window
Zoom out
Zoom in