As another comment recommended, ShareX is a very good and popular (if not the most popular) tool for small recordings. Also it's open source, small in size, and it has portable versions available in its repo[0] (so technically you don't have to install anything).