Skip to content
TagBot

Rename isconvertible -> isconcretizable #682

Sign in to view logs

Rename isconvertible -> isconcretizable

Rename isconvertible -> isconcretizable #682

Triggered via issue July 21, 2023 04:15
@gaurav-aryagaurav-arya
commented on #212 dd8fc48
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

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