Skip to content
Label PR based on Comment

fix: make elabAsElim aware of explicit motive arguments #5361

Sign in to view logs

fix: make elabAsElim aware of explicit motive arguments

fix: make elabAsElim aware of explicit motive arguments #5361

Triggered via issue July 24, 2024 08:05
@nomeatanomeata
commented on #4817 6d97182
Status Skipped
Total duration 3s
Artifacts –

labels-from-comments.yml

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