feat(Tactic): add finiteness
tactic (#18034)
#11468
bors.yml
on: push
Cancel Previous Runs (CI)
4s
Post-CI job
9s