Skip to content
TagBot

How can I set the numerical progression to decimal for all UInt types? #17541

Sign in to view logs

How can I set the numerical progression to decimal for all UInt types?

How can I set the numerical progression to decimal for all UInt types? #17541

Triggered via issue January 2, 2025 05:11
@holomorphismholomorphism
commented on #3130 caf7456
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

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