GitHubCI

avoid cursor jump when file under cursor is renamed by plugin/`r` #2207

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macOS-gcc	16s
ubuntu-patches	35s
macOS-clang	1m 17s
	2m 8s