New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Align engine-internal-time metric with UP requirements #110

Merged

arbimo merged 2 commits into master from up-engine-time

Nov 9, 2023

Member

arbimo commented Nov 9, 2023

chore(up): Use new metrics field of ValidationResult
chore(up): be more precise in engine time to avoid division by zero on UP side

arbimo added 2 commits

November 9, 2023 10:44


          chore(up): Use new metrics field of ValidationResult

d2a163a


          chore(up): be more precise in engine time to avoid division by zero o…

d166302

…n UP side

arbimo merged commit 2c44eb1 into master

10 checks passed

arbimo deleted the up-engine-time branch

November 9, 2023 09:58

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet