introduce-monitoring #2

Merged

jem merged 3 commits from introduce-monitoring into main 2025-03-11 15:56:21 +00:00

Conversation 0 Commits 3 Files changed 5 +101 -2

3 commits

Author	SHA1	Message	Date
Michael Jerger	a76b163677	Merge remote-tracking branch 'origin/main' into introduce-monitoring	2025-03-11 16:55:09 +01:00
Michael Jerger	3b240bea93	fix monitoring labels	2025-03-11 16:20:10 +01:00
Michael Jerger	ef8439342b	initial monitoring ability	2025-03-11 13:30:13 +01:00