[Issue #2809] Handle parsing the jwt we created, and connect to a user #1338
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Update database ERD diagrams and OpenAPI docs so that they remain up to date with the application | |
name: Update Database ERD Diagrams and OpenAPI Docs | |
on: | |
pull_request: | |
paths: | |
- api/** | |
- Makefile | |
- .github/workflows/ci-openapi.yml | |
defaults: | |
run: | |
working-directory: ./api | |
# Only trigger run one update of the OpenAPI spec at a time on the branch. | |
# If new commits are pushed to the branch, cancel in progress runs and start | |
# a new one. | |
concurrency: | |
group: ${{ github.head_ref }} | |
cancel-in-progress: true | |
jobs: | |
update-openapi-docs: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
with: | |
# Checkout the feature branch associated with the pull request | |
ref: ${{ github.head_ref }} | |
- name: Create ERD diagram | |
run: make create-erds | |
- name: Update OpenAPI spec | |
run: make openapi-spec | |
- name: Push changes | |
run: | | |
git config user.name nava-platform-bot | |
git config user.email [email protected] | |
git add --all | |
# Commit changes (if no changes then no-op) | |
git diff-index --quiet HEAD || git commit -m "Create ERD diagram and Update OpenAPI spec" | |
git push |