Compare commits

..

1 commit

Author SHA1 Message Date
Rahix a16dc6b73e succd: Add metrics for RP and RP operating time
All checks were successful
/ test (push) Successful in 10s
/ test (pull_request) Successful in 10s
Add counter metrics that count the total operating time for the roughing
pump and the diffusion pump.
2024-10-06 11:40:09 +02:00