Performance Profiling

Unsound rewrite when using requires with partial functions #983

Sign in to view logs

Triggered via issue November 28, 2023 17:20

ehildenb

commented on #3603 b2bade8

Status Skipped

Total duration 6s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

profiling.yaml

on: issue_comment