Skip to content

Merge branch 'feature_41_ecso_0.10' into develop #39

Merge branch 'feature_41_ecso_0.10' into develop

Merge branch 'feature_41_ecso_0.10' into develop #39

Workflow file for this run

name: CI
on:
push:
branches:
- main
- develop
jobs:
validate:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-java@v4
with:
distribution: 'adopt'
java-version: '11'
- run: curl -O https://archive.apache.org/dist/jena/binaries/apache-jena-4.2.0.tar.gz
- run: tar xzf apache-jena-4.2.0.tar.gz
- run: sh ./.github/validate.sh
website:
needs: validate
if: github.ref == 'refs/heads/main'
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v5
with:
python-version: "3.12"
cache: 'pip'
- run: python -m pip install -r ./.github/website/requirements.txt
- run: python ./.github/website/build.py
- name: ghpages
uses: JamesIves/github-pages-deploy-action@v4
with:
branch: gh-pages
folder: ./.github/website/_build