Back to pull request #3807

perf: `isDefEq` performance issue #844

Sign in to view logs

Triggered via pull request March 30, 2024 00:00

leodemoura

opened #3807

defeq_perf

Status Success

Total duration 11s

Artifacts –

check-prelude.yml

on: pull_request