Skip to content

v3.3.2

v3.3.2 #6

Workflow file for this run

name: CD
on:
release:
types: [ published ]
workflow_dispatch:
jobs:
build-pages:
runs-on: ubuntu-latest
steps:
- name: Checkout Randomness source code
uses: actions/checkout@v4
with:
ref: main
path: main
- name: Checkout Randomness pages
uses: actions/checkout@v4
with:
ref: gh-pages
path: gh-pages
# Required to push updated documentation to repository.
# If you get "Error: fatal: could not read Username for 'https://github.com': terminal prompts disabled", then
# the token has probably expired.
token: ${{ secrets.personal_access_token }}
- name: Set up Java
uses: actions/setup-java@v4
with:
distribution: 'temurin'
java-version: '17'
- name: Set up Gradle
uses: gradle/actions/setup-gradle@v4
working-directory: main/

Check failure on line 35 in .github/workflows/cd.yml

View workflow run for this annotation

GitHub Actions / CD

Invalid workflow file

The workflow is not valid. .github/workflows/cd.yml (Line: 35, Col: 9): Unexpected value 'working-directory'
with:
add-job-summary: on-failure
- name: Extract version number
working-directory: main/
run: echo "RANDOMNESS_VERSION=v$(cat gradle.properties | grep '^version=' | sed 's/^.*=//')" >> $GITHUB_ENV
- name: Generate new documentation
working-directory: main/
run: ./gradlew dokkaHtml -Pdokka.pagesDir="${{ github.workspace }}/gh-pages/"
- name: Move new documentation into gh-pages
run: |
rm -rf gh-pages/*
mv main/build/dokka/html/* gh-pages/
- name: Push new documentation
working-directory: gh-pages/
run: |
git config --global user.name "FWDekkerBot"
git config --global user.email "[email protected]"
git add --all
git commit -m "Update for ${RANDOMNESS_VERSION}"
git push origin gh-pages