Skip to content

Cleanup more fields on player & world #4194

Cleanup more fields on player & world

Cleanup more fields on player & world #4194

Workflow file for this run

name: Build
on:
pull_request:
workflow_dispatch:
push:
branches:
- dev
jobs:
build:
permissions:
contents: read
packages: write
runs-on: ubuntu-latest
steps:
- id: checkout
name: Checkout
uses: actions/checkout@v4
with:
fetch-depth: 0
- id: setup-java
name: Setup Java
uses: actions/setup-java@v4
with:
java-version: 21
distribution: temurin
cache: maven
- id: build
name: ${{ (github.repository == 'PGMDev/PGM' && github.ref == 'refs/heads/dev') && 'Deploy JAR' || 'Build' }}
run: |
mvn --batch-mode ${{ (github.repository == 'PGMDev/PGM' && github.ref == 'refs/heads/dev') &&
'deploy' ||
'install' }}
env:
GITHUB_TOKEN: ${{ (github.repository == 'PGMDev/PGM' && github.ref == 'refs/heads/dev') && secrets.GITHUB_TOKEN || '' }}
- id: artifact
name: Upload Jar
uses: actions/upload-artifact@v4
with:
name: PGM.jar
path: target/PGM.jar
if-no-files-found: error