Skip to content

Rename Binding::Class to Binding::ClassDef #5409

Rename Binding::Class to Binding::ClassDef

Rename Binding::Class to Binding::ClassDef #5409

name: publish website
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
workflow_dispatch:
jobs:
build_docs_job:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
- name: Build the Website
run: |
cd documentation/website
yarn install
yarn run build
echo "OUTPUT_TIME=$(date +'%Y-%m-%d %H:%M:%S')" >> $GITHUB_ENV
- name: Get output time
run: echo "The time was ${{ env.OUTPUT_TIME }} (UTC)"
- name: Deploy
if: ${{ github.event_name == 'push' }}
uses: JamesIves/github-pages-deploy-action@920cbb300dcd3f0568dbc42700c61e2fd9e6139c # v4.6.4
with:
TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages # The branch the action should deploy to.
FOLDER: documentation/website/build # The folder the action should deploy.