Skip to content

[Translation] Fix incorrect translation of heap-term sort. Simplify l… #22

[Translation] Fix incorrect translation of heap-term sort. Simplify l…

[Translation] Fix incorrect translation of heap-term sort. Simplify l… #22

regression-tests

succeeded Feb 12, 2025 in 16m 23s