Skip to content

Merge branch 'master' into Divak2004-add-bio #711

Merge branch 'master' into Divak2004-add-bio

Merge branch 'master' into Divak2004-add-bio #711

# Generated by cdkactions. Do not modify
# Generated as part of the 'validate' stack.
name: Validate cdkactions manifests
on: push
jobs:
validate:
name: Validate cdkactions manifests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
token: ${{ github.token }}
- name: Validate manifests
run: |-
cd .github/cdk
yarn install
yarn build
git --no-pager diff ../workflows
git diff-index --quiet HEAD -- ../workflows
- name: Push updated manifests
if: "false"
run: |-
cd .github/workflows
git config user.name github-actions
git config user.email github-actions[bot]@users.noreply.github.com
git add .
git commit -m "Update cdkactions manifests" || exit 0
git push