mirror of
https://github.com/MariaDB/server.git
synced 2026-10-23 18:49:29 +03:00
38 lines
849 B
YAML
38 lines
849 B
YAML
name: Generate Plugin API Docs
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- 'main'
|
|
paths:
|
|
- 'include/mysql/**'
|
|
pull_request:
|
|
branches:
|
|
- 'main'
|
|
paths:
|
|
- 'include/mysql/**'
|
|
jobs:
|
|
generate-docs:
|
|
runs-on: ubuntu-latest
|
|
container:
|
|
image: ghcr.io/mariadb/mariadb-doc-gen:latest
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v7
|
|
|
|
- name: Generate documentation
|
|
shell: bash
|
|
run: |
|
|
set -euo pipefail
|
|
target_dir=$(pwd)/bld/docs/plugin-api
|
|
mkdir -p "$target_dir"
|
|
cd include/mysql
|
|
bash -x generate_plugin_api_docs.sh "$target_dir"
|
|
|
|
- name: Upload docs as artifact
|
|
uses: actions/upload-artifact@v7
|
|
with:
|
|
name: plugin-api-docs
|
|
path: bld/docs/plugin-api
|
|
retention-days: 7
|