Test infra: coverage in CI + savepoint isolation + Authorization gate#63

WebTigers merged 2 commits into

mainWebTigers/TigerCore:mainfrom

test/coverage-ci-and-w3tailWebTigers/TigerCore:test/coverage-ci-and-w3tailCopy head branch name to clipboard