Skip to content
Lint the sources

[ performance ] make Eq and Ord for Fin run in constant time #5300

Sign in to view logs

[ performance ] make Eq and Ord for Fin run in constant time

[ performance ] make Eq and Ord for Fin run in constant time #5300

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
5s
5s