Skip to content

fix: bad commit diffs for merge #5

fix: bad commit diffs for merge

fix: bad commit diffs for merge #5

name: verify
on:
pull_request:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
does-build:
runs-on: ubuntu-latest
# env:
# THROW_ON_BROKEN_LINKS: true # TODO:
steps:
- uses: actions/checkout@v4
- uses: actions/setup-node@v4
with:
node-version: 18
cache: npm
cache-dependency-path: package-lock.jso
- name: Set git config for pull.ff only
run: git config --global pull.ff only
- name: Clear old docs references
run: make fresh
- name: pull docs from current latest
run: make sync-docs
- name: build-docs w/o errors
run: make build-docs
uses-latest-commits:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: grab latest commits
run: make latest-commits
- name: check for latest commits diff
run: |
if [ -n "$(git status --porcelain)" ]; then
echo "There are changes in the latest-commits"
exit 1
else
echo "No changes in the latest-commits"
fi