Skip to content
Label PR based on Comment

simp doesn't rewrite in definitions because of unassigned metavariables #5035

Sign in to view logs

simp doesn't rewrite in definitions because of unassigned metavariables

simp doesn't rewrite in definitions because of unassigned metavariables #5035

Triggered via issue July 1, 2024 19:34
@leodemouraleodemoura
commented on #4613 d5a45df
Status Skipped
Total duration 2s
Artifacts –

labels-from-comments.yml

on: issue_comment
update-label
0s
update-label
Fit to window
Zoom out
Zoom in