[ fix ] add test runner (#2884)#2896

MatthewDaggitt wants to merge 1 commit intomasteragda/agda-stdlib:masterfrom

test-suiteagda/agda-stdlib:test-suiteCopy head branch name to clipboard