Skip to content

Change properties file and changelog file name #139

Change properties file and changelog file name

Change properties file and changelog file name #139

Workflow file for this run

name: Verify Content
on:
pull_request:
types:
- opened
- reopened
- synchronize
- labeled
workflow_dispatch:
permissions:
contents: read
jobs:
test-mkdocs:
name: Test mkdocs build
runs-on: ubuntu-latest
env:
CI: true
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0 #needed for mkdocs-git-revision-date-localized-plugin
- uses: actions/setup-python@v4
with:
python-version: 3.x
- run: pip install --no-cache-dir \
mkdocs-material \
mkdocs-git-revision-date-localized-plugin \
mkdocs-awesome-pages-plugin \
mkdocs-redirects \
mkdocs-macros-plugin
# build site with "strict" flag to catch any errors
- run: mkdocs build -s -d _site
test-code:
name: Test snippet code
runs-on: ubuntu-latest
env:
CI: true
steps:
- uses: actions/checkout@v3
- uses: actions/setup-java@v3
with:
java-version: '11'
distribution: 'temurin'
cache: 'maven'
- run: cd snippets && mvn -B compile