Skip to content

Fix No such element exception when moving an entity without any rules… #41

Fix No such element exception when moving an entity without any rules…

Fix No such element exception when moving an entity without any rules… #41

# Simple workflow for deploying static content to GitHub Pages
name: Build and Deploy
on:
push:
branches: [master]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: write
pages: write
id-token: write
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "pages"
cancel-in-progress: false
jobs:
# Single deploy job since we're just deploying
build-and-deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Set up JDK 17
uses: actions/setup-java@v1
with:
java-version: 17
- name: Set up Nodejs 16
uses: actions/setup-node@v2
with:
node-version: 16
- name: Grant execute permission for gradlew
run: chmod +x gradlew
- name: Build with Gradle
run: ./gradlew build
- name: Deploy to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v2
with:
target_branch: gh-pages
fqdn: sokoban.haukesomm.de
build_dir: ./web/build/distributions
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}