Skip to content

Building release-7_0_1 after push of release tag #20

Building release-7_0_1 after push of release tag

Building release-7_0_1 after push of release tag #20

Workflow file for this run

name: Build release
run-name: Building ${{ github.ref_name }} after push of release tag
on:
push:
tags:
- "release-*_*_*"
permissions: write-all
jobs:
release:
defaults:
run:
working-directory: code
runs-on: ubuntu-latest
steps:
- name: Check out code
uses: actions/checkout@v4
with:
path: 'code'
- name: Check out grammars
uses: actions/checkout@v4
with:
repository: 'nl-utwente-groove/grammars'
path: 'grammars'
- name: Check out samples
uses: actions/checkout@v4
with:
repository: 'nl-utwente-groove/samples'
path: 'samples'
- name: Set up JDK 21
uses: actions/setup-java@v4
with:
java-version: '21'
distribution: 'temurin'
cache: maven
- name: Install local packages
run: |
mvn -B install:install-file -DpomFile=lib/pom/gnuprolog.pom -Dfile=lib/gnuprologjava-0.2.6.jar -Dsources=lib/src/gnuprologjava-0.2.6-src.zip
mvn -B install:install-file -DpomFile=lib/pom/groove-gxl.pom -Dfile=lib/groove-gxl-3.0.jar -Dsources=lib/src/groove-gxl-3.0-sources.jar
mvn -B install:install-file -DpomFile=lib/pom/ltl2buchi.pom -Dfile=lib/ltl2buchi-2010.12.jar -Dsources=lib/src/ltl2buchi-2010.12.zip
mvn -B install:install-file -DpomFile=lib/pom/osxadapter.pom -Dfile=lib/osxadapter-2.0.jar -Dsources=lib/src/osxadapter-2.0-src.zip
- name: Retrieve VERSION from file
run: echo "VERSION=$(<src/main/resources/nl/utwente/groove/resource/version/GROOVE_VERSION)" >> $GITHUB_ENV
- name: Build GROOVE
run: mvn -B -Drevision=$VERSION clean install
- name: Build release
run: cd release; mvn -B -Drevision=$VERSION clean package
- name: Deploy release
uses: ncipollo/[email protected]
with:
artifacts: "code/release/target/*.zip"
draft: false
prerelease: false