Skip to content
Label PR based on Comment

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

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 #5038

Triggered via issue July 1, 2024 21:27
@fpvandoornfpvandoorn
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