Skip to content
TagBot

When a pattern variable is defined on only one side of a disjunction, #16823

Sign in to view logs

When a pattern variable is defined on only one side of a disjunction,

When a pattern variable is defined on only one side of a disjunction, #16823

Triggered via issue March 28, 2024 22:52
@gaftergafter
commented on #100 4cbd3fd
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

on: issue_comment
TagBot
0s
TagBot
Fit to window
Zoom out
Zoom in