Skip to content

Add support for geography columns #2113

Add support for geography columns

Add support for geography columns #2113

name: Documentation
on:
push:
branches: [ main ]
pull_request:
jobs:
build-docs:
name: Build Docs
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v4
- uses: Swatinem/rust-cache@v2
- name: 'Validate .md files (use "just fmt-md" to fix)'
uses: DavidAnson/markdownlint-cli2-action@v18
with:
config: '.github/files/config.markdownlint-cli2.jsonc'
- name: 'Check Markdown URLs (same as "just clippy-md")'
uses: gaurav-nelson/github-action-markdown-link-check@v1
with:
use-quiet-mode: 'no'
use-verbose-mode: 'yes'
folder-path: 'docs/src'
file-path: './README.md'
config-file: '.github/files/markdown.links.config.json'
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v2
with:
mdbook-version: '0.4.40'
- run: mdbook build docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/book