Skip to content
Check PR title for commit convention

fix: rewrite tactic should not try to synthesize instances that have been inferred by unification #2110

Sign in to view logs

fix: rewrite tactic should not try to synthesize instances that have been inferred by unification

fix: rewrite tactic should not try to synthesize instances that have been inferred by unification #2110

Triggered via pull request February 26, 2024 19:51
@leodemouraleodemoura
opened #3509
rw_simp_issue
Status Success
Total duration 11s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
3s
check-pr-title
Fit to window
Zoom out
Zoom in