Update version #87

	# This workflow uses actions that are not certified by GitHub.
	# They are provided by a third-party and are governed by
	# separate terms of service, privacy policy, and support
	# documentation.

	name: Scala CI

	on:
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]
	release:
	types: [ published ]

	permissions:
	contents: read

	jobs:
	cli-test:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v6
	- name: Run CLI tests
	run: bash tests/tacit_test.sh

	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v6
	- name: Set up JDK 17
	uses: actions/setup-java@v5
	with:
	java-version: '17'
	distribution: 'temurin'
	- name: Set up sbt
	uses: sbt/setup-sbt@v1
	- name: Run tests
	run: sbt test
	- name: Set up Scala CLI
	uses: VirtusLab/scala-cli-setup@v1
	- name: Run library tests
	run: cd library && scala-cli test .

	publish-release:
	if: github.event_name == 'release'
	runs-on: ubuntu-latest
	permissions:
	contents: write

	steps:
	- uses: actions/checkout@v6
	- name: Set up JDK 17
	uses: actions/setup-java@v5
	with:
	java-version: '17'
	distribution: 'temurin'
	- name: Set up sbt
	uses: sbt/setup-sbt@v1
	- name: Build server and library JARs
	run: \|
	chmod +x build.sh
	./build.sh --verbose dist
	- name: Upload JARs to GitHub Release
	env:
	GH_TOKEN: ${{ github.token }}
	run: \|
	gh release upload "${{ github.event.release.tag_name }}" \
	dist/TACIT-library.jar \
	dist/TACIT.jar \
	--clobber

Navigation Menu