Skip to content
TagBot

@disjunction macro requires a name to be passed to the disjunction #80

Sign in to view logs

@disjunction macro requires a name to be passed to the disjunction

@disjunction macro requires a name to be passed to the disjunction #80

Triggered via issue October 11, 2023 17:35
@hdavid16hdavid16
commented on #60 60ef8bc
Status Skipped
Total duration 1m 41s
Artifacts –

TagBot.yml

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