Skip to content
MIRAI on MIRAI

Fix: inconsistent/incorrect implementations of Ord, PartialOrd, `… #63

Sign in to view logs

Fix: inconsistent/incorrect implementations of Ord, PartialOrd, `…

Fix: inconsistent/incorrect implementations of Ord, PartialOrd, `… #63

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_with_vcpkg_installed_z3 (linux)
3m 44s
build_with_vcpkg_installed_z3 (macos)
4m 21s
build_with_vcpkg_installed_z3 (windows)
6m 36s
14m 41s