diff --git a/ci/lib.sh b/ci/lib.sh
index 8885ee3c3f86c6..1e192b2756e4b0 100755
--- a/ci/lib.sh
+++ b/ci/lib.sh
@@ -225,6 +225,12 @@ then
 
 	GIT_TEST_OPTS="--write-junit-xml"
 	JOBS=10
+	case "$CI_OS_NAME" in
+	linux) runs_on_pool=ubuntu-latest;;
+	macos|osx) runs_on_pool=macos-latest;;
+	windows_nt) runs_on_pool=windows-latest;;
+	*) echo "Unhandled OS: $CI_OS_NAME" >&2; exit 1;;
+	esac
 elif test true = "$GITHUB_ACTIONS"
 then
 	CI_TYPE=github-actions