Skip to content
TagBot

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

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, #16820

Triggered via issue December 16, 2023 00:58
@gaftergafter
commented on #100 4988ecc
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

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