CI

Fix leak of pages in restore_savepoint() #1357

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (ubuntu-latest)	11m 28s
ci (macos-latest)	7m 16s
ci (windows-latest)	26m 38s
	45m 22s