add docs config actions

This commit is contained in:
crazywhalecc 2024-01-07 01:57:55 +08:00
parent 5549068275
commit 5b581a54aa
No known key found for this signature in database
GPG Key ID: 1F4BDD59391F2680
2 changed files with 43 additions and 1 deletions

View File

@ -0,0 +1,42 @@
name: Update Docs Config
on:
push:
branches:
- main
paths:
- 'config/**.json'
jobs:
update-docs-config:
name: "Update Docs Config"
runs-on: ubuntu-latest
if: secrets.DOCS_REPO_TOKEN != ''
steps:
- name: "Checkout static-php-cli"
uses: actions/checkout@v4
with:
ref: main
path: static-php-cli
- name: "Checkout static-php-cli-docs"
uses: actions/checkout@v4
with:
repository: static-php/static-php-cli-docs
ref: master
path: static-php-cli-docs
- name: "Set up Git"
run: |
git config --global user.email "actions@github.com"
git config --global user.name "GitHub Actions"
- name: "Copy Config Files"
run: cp -r static-php-cli/config/ static-php-cli-docs/docs/.vitepress/config/
- name: "Commit and Push Changes"
run: |
cd static-php-cli-docs
git add -A
git commit -m "Sync config files from main"
git push origin master

View File

@ -403,10 +403,10 @@
"sqlsrv": {
"type": "external",
"source": "sqlsrv",
"cpp-extension": true,
"lib-depends": [
"unixodbc"
],
"cpp-extension": true,
"ext-depends-linux": [
"pcntl"
]