Run CI tests on release branches as well#2444

MatthewDaggitt merged 2 commits intomasteragda/agda-stdlib:masterfrom

release-branch-ciagda/agda-stdlib:release-branch-ciCopy head branch name to clipboard