Skip to content

Kill unused function GlobalResolution.define #3939

Kill unused function GlobalResolution.define

Kill unused function GlobalResolution.define #3939

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@v3
- 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@releases/v4
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.