Skip to content

Editorial: Correct return type of GetDateTimeFormat #1050

Editorial: Correct return type of GetDateTimeFormat

Editorial: Correct return type of GetDateTimeFormat #1050

Workflow file for this run

name: Build and Deploy
on:
push:
branches:
- main
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
persist-credentials: false
- name: use node.js v20.x
uses: actions/setup-node@v3
with:
node-version: 20.x
- run: npm ci
- run: npm run build
- uses: JamesIves/github-pages-deploy-action@3.7.1
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: out
CLEAN: true