File tree Expand file tree Collapse file tree 1 file changed +50
-0
lines changed
Expand file tree Collapse file tree 1 file changed +50
-0
lines changed Original file line number Diff line number Diff line change 1+ name : Mintlify Documentation Check
2+ on :
3+ pull_request :
4+ paths :
5+ - ' docs/**' # Only trigger on changes to docs directory
6+ - ' mint.json' # Also trigger on mintlify config changes
7+
8+ jobs :
9+ build-docs :
10+ name : Build Documentation
11+ runs-on : ubuntu-latest
12+
13+ steps :
14+ - name : Checkout code
15+ uses : actions/checkout@v4
16+
17+ - name : Setup Node.js
18+ uses : actions/setup-node@v4
19+ with :
20+ node-version : ' 18'
21+ cache : ' npm'
22+
23+ - name : Install Mintlify
24+ run : npm install -g mintlify
25+
26+ - name : Build documentation
27+ run : |
28+ cd docs
29+ mintlify build
30+
31+ - name : Check build status
32+ run : |
33+ if [ $? -eq 0 ]; then
34+ echo "Documentation build successful!"
35+ else
36+ echo "Documentation build failed!"
37+ exit 1
38+ fi
39+
40+ - name : Comment on PR if build fails
41+ if : failure()
42+ uses : actions/github-script@v7
43+ with :
44+ script : |
45+ github.rest.issues.createComment({
46+ issue_number: context.issue.number,
47+ owner: context.repo.owner,
48+ repo: context.repo.repo,
49+ body: '❌ Mintlify documentation build failed. Please check the build logs for details.'
50+ })
You can’t perform that action at this time.
0 commit comments