Skip to content

added python script resource #78

added python script resource

added python script resource #78

Workflow file for this run

'on':
push:
tags:
- '*'
jobs:
build-and-upload:
runs-on: ubuntu-latest
steps:
- name: checkout
uses: actions/checkout@v4
- uses: actions/setup-java@v4
with:
distribution: temurin
java-version: '17'
cache: gradle
- uses: gradle/actions/setup-gradle@v3
- name: build
env:
VERSION: ${{ github.ref_name }}
run: ./gradlew makePackages
- name: release
uses: softprops/action-gh-release@v1
with:
files: build/generated/pkl/packages/*
- name: create docs
env:
VERSION_NUM: ${{ github.ref_name }}
run: |
# Retry mechanism
set +e
# Extract version number without the leading 'v'
export VERSION=$(echo "${VERSION_NUM}" | sed -E 's/^v(.*)/\1/')
./gradlew pkldoc
EXIT_CODE=$?
if [ $EXIT_CODE -ne 0 ]; then
echo "First attempt failed, retrying..."
sleep 30s
./gradlew pkldoc
fi
set -e
- name: setup pages
uses: actions/configure-pages@v4
- name: upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: build/pkldoc/pkldoc
permissions:
contents: write
deploy-pages:
runs-on: ubuntu-latest
steps:
- id: deployment
name: deploy pages
uses: actions/deploy-pages@v4
needs: build-and-upload
permissions:
pages: write
id-token: write
environment:
name: pkl-docs
url: ${{ steps.deployment.outputs.page_url }}