Refactor `tps_proper_time_deviations`
Passed
Jean-Baptiste Bayle
created pipeline for commit
ca6e7974
, finished
1 related merge request: !99 Correct neglection of TPS in `tps_proper_time_deviations`
1 minute 10 seconds, queued for 2 seconds