This repository has been archived on 2024-02-08. You can view files and clone it, but cannot push or open issues or pull requests.
2023-12-20 13:25:40 +00:00
|
|
|
name: Publish Workflow
|
|
|
|
on:
|
|
|
|
push:
|
2023-12-20 15:24:11 +00:00
|
|
|
tags:
|
|
|
|
- v*
|
2023-12-20 13:25:40 +00:00
|
|
|
jobs:
|
|
|
|
publish:
|
|
|
|
name: Publish library
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v4
|
|
|
|
|
|
|
|
- name: Set up Java
|
|
|
|
uses: actions/setup-java@v3
|
|
|
|
with:
|
|
|
|
distribution: adopt
|
|
|
|
java-version: 17
|
|
|
|
|
|
|
|
- name: Verify Gradle wrapper
|
|
|
|
uses: gradle/wrapper-validation-action@v1
|
|
|
|
|
|
|
|
- name: Setup Gradle
|
|
|
|
uses: gradle/gradle-build-action@v2
|
|
|
|
|
|
|
|
- name: Run checks
|
|
|
|
run: ./gradlew check
|
|
|
|
|
|
|
|
- name: Parse parameters
|
|
|
|
id: parse
|
|
|
|
run: |
|
|
|
|
export VERSION="$(echo ${{ github.ref_name }} | cut -c2-)"
|
|
|
|
echo "Parsed version: '$VERSION'"
|
|
|
|
echo "tinyvm_version=$VERSION" >> "$GITHUB_OUTPUT"
|
|
|
|
|
|
|
|
- name: Publish to Gitea package repository
|
|
|
|
env:
|
|
|
|
TINYVM_VERSION: ${{ steps.parse.outputs.tinyvm_version }}
|
|
|
|
GITEA_USERNAME: ${{ github.repository_owner }}
|
|
|
|
GITEA_TOKEN: ${{ secrets.deploy_token }}
|
|
|
|
run: ./gradlew publishAllPublicationsToGiteaRepository
|