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

Triggered via pull request July 5, 2023 14:04
@stefan-hoeckstefan-hoeck
opened #3007
stefan-hoeck:constant_fin
Status Success
Total duration 16s
Artifacts –

ci-lint.yml

on: pull_request
build
5s
build
Fit to window
Zoom out
Zoom in