If the pond is of a decent size and amphibians could hide in the margins, fishes could work. Yes. Native species are much better. In very small ones just toads and newts are a satisfying choice. Add frogs if you don't mind noise.
If you have a place for a mini pond my advice is, don't built it.
Go for a small pond instead. Miniponds look nice on yoputube but are really unstable, and much more difficult to manage long term. They "boil" in a few hours at full sun. Freeze in winter and water must be added all the time. Is the same mistake as starting aquaria with a too small tank. Most people just will quit the hobby in a few weeks.
Beware. Ponds of all sizes are dangerous for toddlers and ponds must have a side with a gently slope so falling pets and animals can climb out. If you have children of less than five years, you --must-- cover the pond with a solid iron pond cover:
https://duckduckgo.com/?q=pond+cover&t=newext&atb=v411-1&iax...
Apart of this the "deeper" the pond the more animals will fit for the same price. More than 1 meter is normally unnecessary in a small garden