remove notypeclasses apply; it is somehow very slow

In iris!1101 we noticed this tactic is very slow. I have no clue why. But meanwhile, let's not make other people fall into that trap.

added 1 commit

• 8c69a587 - remove notypeclasses apply; it is somehow very slow

Compare with previous version

LGTM.

added 1 commit

• af70e2de - remove notypeclasses apply; it is somehow very slow

Compare with previous version

enabled an automatic merge when all merge checks for af70e2de pass

mentioned in commit 72579d23

merged