Skip to content
TagBot

Prefer symbols over strings in polynomial_ring #16794

Sign in to view logs

Prefer symbols over strings in polynomial_ring

Prefer symbols over strings in polynomial_ring #16794

Triggered via issue September 24, 2024 07:34
@lkastnerlkastner
commented on #4133 6238fc7
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

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