Mathlib/Tactic.lean CI failing on master

Stream: mathlib4

[Ruben Van de Velde]

It turns out bors doesn't require the check_imported job to pass , and it started failing on master with the addition of cancel_denoms. !4#3827 should fix both issues.