Skip to content

Merge branch 'main' into private #14

Merge branch 'main' into private

Merge branch 'main' into private #14

Workflow file for this run

name: Build and Deploy
on:
push:
branches:
- private
jobs:
build-and-deploy:
concurrency: ci-${{ github.ref }} # Recommended if you intend to make multiple deployments in quick succession.
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/checkout@v3
with:
fetch-depth: 0
# - name: Install and Build 🔧
# run: |
# cd _buildscripts
# /usr/bin/python3 ./build.py
- name: Deploy 🚀
uses: JamesIves/github-pages-deploy-action@v4
with:
# folder: build # The folder the action should deploy.
folder: . # The folder the action should deploy.
branch: gh-pages # The branch the action should deploy to.
single-commit: true # need no history
# clean-exclude: dev # preserve the dev folder