Skip to content
Check for copyright header

perf: use WHNF cache in whnfMatcher also at sub-default transparency #28318

Sign in to view logs

perf: use WHNF cache in whnfMatcher also at sub-default transparency

perf: use WHNF cache in whnfMatcher also at sub-default transparency #28318

Triggered via pull request July 10, 2026 08:45
@datokratdatokrat
synchronize #14323
datokrat:paul/cache-canUnfold
Status Success
Total duration 1m 12s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
1m 8s
check-lean-files
Fit to window
Zoom out
Zoom in