Correct neglection of TPS in tps_proper_time_deviations
Passed
Jan Niklas Reinhardt
created pipeline for commit
1172252d
, finished
1 related merge request: !99 Correct neglection of TPS in `tps_proper_time_deviations`
1 minute 30 seconds, queued for 2 seconds