Rename postgresql to postgres (keeping only existing files)

This commit is contained in:
Pedro Rodrigues
2026-01-19 19:31:34 +00:00
parent 9ac9bcc495
commit 06a4e68d30
19 changed files with 141 additions and 34 deletions

View File

@@ -1,15 +1,15 @@
name: PostgreSQL Best Practices CI
name: Postgres Best Practices CI
on:
push:
branches: [main]
paths:
- 'skills/postgresql-best-practices/**'
- 'packages/postgresql-best-practices-build/**'
- 'skills/postgres-best-practices/**'
- 'packages/postgres-best-practices-build/**'
pull_request:
paths:
- 'skills/postgresql-best-practices/**'
- 'packages/postgresql-best-practices-build/**'
- 'skills/postgres-best-practices/**'
- 'packages/postgres-best-practices-build/**'
jobs:
validate-and-build:
@@ -22,22 +22,22 @@ jobs:
node-version: '20'
- name: Install dependencies
working-directory: packages/postgresql-best-practices-build
working-directory: packages/postgres-best-practices-build
run: npm install
- name: Validate rule files
working-directory: packages/postgresql-best-practices-build
working-directory: packages/postgres-best-practices-build
run: npm run validate
- name: Build AGENTS.md
working-directory: packages/postgresql-best-practices-build
working-directory: packages/postgres-best-practices-build
run: npm run build
- name: Check for uncommitted changes
run: |
if [[ -n $(git status --porcelain skills/postgresql-best-practices/AGENTS.md) ]]; then
if [[ -n $(git status --porcelain skills/postgres-best-practices/AGENTS.md) ]]; then
echo "Error: AGENTS.md is not up to date"
echo "Run 'npm run build' and commit the changes"
git diff skills/postgresql-best-practices/AGENTS.md
git diff skills/postgres-best-practices/AGENTS.md
exit 1
fi