Back to pull request #4871

perf: precise cache for `foldConsts` #3452

Sign in to view logs

Triggered via pull request July 30, 2024 18:19

leodemoura

opened #4871

fold_const_perf

Status Success

Total duration 30s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files