Skip to content

[#2240] Format datetime (#2242) #377

[#2240] Format datetime (#2242)

[#2240] Format datetime (#2242) #377

Workflow file for this run

# This workflow executes the various RepoSense tests
name: GitHub Pages
on:
push:
branches:
- master
jobs:
deploy-gh-pages:
name: Deploy MarkBind to GitHub Pages
runs-on: ubuntu-latest
env:
NODE_VERSION: "lts/*"
steps:
- name: Checkout repository
uses: actions/checkout@v3
- name: Set up Node.js
uses: actions/setup-node@v3
with:
node-version: '18.x'
- name: Set up Node caching
uses: actions/cache@v3
with:
path: ~/.npm
key: ${{ runner.os }}-node-${{ hashFiles('**/package-lock.json') }}
restore-keys: |
${{ runner.os }}-node-
- name: Install Graphviz
run: sudo apt-get -y install graphviz
- name: Install MarkBind CLI
run: npm i -g markbind-cli
- name: Build MarkBind website
run: cd docs && markbind build --baseUrl /RepoSense
- name: Deploy to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v2
with:
target_branch: gh-pages
build_dir: docs/_site
keep_history: true
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}