undo: split the plugin interface (#421) #1398

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest-build	17s
macos-latest-build	16s
windows-latest-build	1m 7s
	1m 40s