Use run_number instead of run_id #2

Merged
jali merged 1 commits from develop into main 2026-05-11 23:08:58 +00:00
Owner
No description provided.
jali added 1 commit 2026-05-11 23:08:55 +00:00
jali merged commit f304d584df into main 2026-05-11 23:08:58 +00:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Talks/Linux_Informationstag#2