Skip to content

Add forgotten developer section index (#712) #340

Add forgotten developer section index (#712)

Add forgotten developer section index (#712) #340

Workflow file for this run

name: Release
on:
push:
branches:
- main
concurrency: ${{ github.workflow }}-${{ github.ref }}
permissions:
contents: write
pull-requests: write
jobs:
release:
name: Release
runs-on: ubuntu-latest
steps:
- name: Checkout Repo
uses: actions/checkout@v3
- name: Setup Node.js 18.x
uses: actions/setup-node@v3
with:
node-version: 18.x
- run: npm install
- run: npm run build
- run: npm run test
- name: Create Release Pull Request or Publish to npm
id: changesets
uses: changesets/action@v1
with:
version: npm run version
publish: npm run publish:ci
commit: 🚀 Release
createGithubReleases: false
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
NPM_TOKEN: ${{ secrets.NPM_TOKEN }}
- name: Notification if a publish happens
if: steps.changesets.outputs.published == 'true'
run: echo "A new version of ${GITHUB_REPOSITORY} was published!"
- name: Configure Git to Push Built Artifacts
if: steps.changesets.outputs.published == 'true'
run: |
git config --global url."https://${{ secrets.MYST_TEMPLATES_USER }}:${{ secrets.MYST_TEMPLATES_TOKEN}}@github.com".insteadOf "https://github.com"
git config --global user.email "[email protected]"
git config --global user.name "MyST Theme Bot"
- name: Deploy Book
if: steps.changesets.outputs.published == 'true'
run: make deploy-book
- name: Deploy Article
if: steps.changesets.outputs.published == 'true'
run: make deploy-article