Mushrooms in the garlic bed

Being a NoDig gardener, I celebrate when I see mushrooms in the vegetable beds. It indicates that a good soil structure is developing with the  chance that mycorrhizal relationships are developing and the soil food web is getting into a good balance. I've just realised didn't get round to checking what these fungi are, but they will not form part of the edible harvest from the garden!