Skip to content

Add raster divide recipes #123

Add raster divide recipes

Add raster divide recipes #123

Workflow file for this run

name: Maven Build
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Set up JDK
uses: actions/setup-java@v1
with:
java-version: 11
- name: Build with Maven
run: mvn -B package --file pom.xml
- name: Upload geoc.zip
uses: actions/upload-artifact@v2
with:
name: geoc.zip
path: target/geocommands*-app.zip
- name: Upload geoc.jar
uses: actions/upload-artifact@v2
with:
name: geoc.jar
path: target/geoc-app*.jar
- name: Upload geoc.pdf
uses: actions/upload-artifact@v2
with:
name: geoc.pdf
path: target/generated-docs/index.pdf
- name: Sphinx build
uses: ammaraskar/sphinx-action@0.4
with:
docs-folder: "src/website"
pre-build-command: "apt-get update -y && apt-get install -y gcc"
- name: Deploy website
uses: JamesIves/github-pages-deploy-action@3.7.1
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: src/website/build/html
CLEAN: false
- name: Deploy manual
uses: JamesIves/github-pages-deploy-action@3.7.1
with:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BRANCH: gh-pages
FOLDER: target/generated-docs
TARGET_FOLDER: manual
CLEAN: false