Skip to content

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

[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 #1129

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

dev-checks.yml

on: pull_request
Clone on Windows
14s
Clone on Windows
Clone on Mac
9s
Clone on Mac
Clone on Ubuntu
5s
Clone on Ubuntu
Fit to window
Zoom out
Zoom in