Since the diffeomorphism group is not locally compact; is it true that there is no proper action of an infinite dimensional diffeomorphism group on a finite dimensional smooth manifold?

Edit: The group is the $C^\infty$ self-diffeomrphisms of a finite dimensional smooth open manifold. Let's say that the group is endowed with the Whitney $C^\infty$-topology.

Since the diffeomorphism group is not locally compact; is it true that there is no proper action of an infinite-dimensional diffeomorphism group on a finite-dimensional smooth manifold?

Edit: The group is the $C^\infty$ self-diffeomorphisms of a finite-dimensional smooth open manifold. Let's say that the group is endowed with the Whitney $C^\infty$-topology.

Since the diffeomorphism group is not locally compact; is it true that there is no proper action of an infinite dimensional diffeomorphism group on a finite dimensional smooth manifold?

Since the diffeomorphism group is not locally compact; is it true that there is no proper action of an infinite dimensional diffeomorphism group on a finite dimensional smooth manifold?

Edit: The group is the $C^\infty$ self-diffeomrphisms of a finite dimensional smooth open manifold. Let's say that the group is endowed with the Whitney $C^\infty$-topology.