Skip to content

Merge branch 'dev' into main #165

Merge branch 'dev' into main

Merge branch 'dev' into main #165

Workflow file for this run

name: Build and Deploy
on:
push:
branches:
- release/v1.0
- main
jobs:
build-and-deploy:
if: github.actor != 'dependabot[bot]'
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@v4
with:
fetch-depth: 0
- name: Install and Build 🔧
env:
GOOGLE_MAPS_KEY: ${{ secrets.GOOGLE_MAPS_KEY }}
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.
branch: gh-pages # The branch the action should deploy to.
single-commit: true # need no history
clean-exclude: dev # preserve the dev folder