Skip to content
docs

plan, engine: get rid of trim sorts optimizer #1160

Sign in to view logs

plan, engine: get rid of trim sorts optimizer

plan, engine: get rid of trim sorts optimizer #1160

Triggered via pull request November 25, 2023 13:10
@MichaHoffmannMichaHoffmann
opened #332
mhoffm-trim-sort-is-engine-precondition-and-not-an-optimizer
Status Success
Total duration 43s
Artifacts –

docs.yaml

on: pull_request
Documentation check
33s
Documentation check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Documentation check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-go@v2, actions/cache@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/