Skip to content

[docs] Fix heading formatting in prestissimo/prestissimo-features.rst#22398

Merged
steveburnett merged 1 commit intoprestodb:masterfrom
steveburnett:steveburnett/prestissimo-features
Apr 2, 2024
Merged

[docs] Fix heading formatting in prestissimo/prestissimo-features.rst#22398
steveburnett merged 1 commit intoprestodb:masterfrom
steveburnett:steveburnett/prestissimo-features

Conversation

@steveburnett
Copy link
Contributor

@steveburnett steveburnett commented Apr 2, 2024

Description

Fix formatting of headings in prestissimo/prestissimo-features.rst.

Motivation and Context

Reduce warnings in the docs build process, as reported in PR 22311.

Impact

Documentation.

Test Plan

Local build, verified the page built cleanly.

Contributor checklist

  • Please make sure your submission complies with our development, formatting, commit message, and attribution guidelines.
  • PR description addresses the issue accurately and concisely. If the change is non-trivial, a GitHub Issue is referenced.
  • Documented new properties (with its default value), SQL syntax, functions, or other functionality.
  • If release notes are required, they follow the release notes guidelines.
  • Adequate tests were added if applicable.
  • CI passed.

Release Notes

== NO RELEASE NOTE ==

@steveburnett steveburnett requested a review from a team as a code owner April 2, 2024 17:33
@steveburnett steveburnett requested a review from presto-oss April 2, 2024 17:33
@github-actions github-actions bot added the docs label Apr 2, 2024
@steveburnett steveburnett self-assigned this Apr 2, 2024
@steveburnett steveburnett merged commit 54e7068 into prestodb:master Apr 2, 2024
@steveburnett steveburnett deleted the steveburnett/prestissimo-features branch April 16, 2024 17:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants