Skip to content
Delete merged branch of the backport PRs

Abstracting source relations for enhanced covering index rewriting #190

Sign in to view logs

Abstracting source relations for enhanced covering index rewriting

Abstracting source relations for enhanced covering index rewriting #190

Run time

Learn about OS pricing on GitHub Actions
Job Run time
delete-branch
0s
0s