Repository navigation

Use sbt-sourcegraph 0.4.3 for sbt versions before 1.9 #193

	name: Release Docker

	# Maintenance releases of 0.12.x, the last line that supports JDK 8 and sbt.
	# They are published to GHCR under their own version only. `latest` belongs to
	# the current release line on main and must never point at this branch.
	on:
	push:
	tags: ["v0.12.*"]

	permissions:
	contents: read
	packages: write

	jobs:
	publish:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7

	- name: Resolve Docker tag
	id: tag
	shell: bash
	run: \|
	set -euo pipefail

	version="${GITHUB_REF_NAME#v}"
	if [[ ! "$version" =~ ^0\.12\.[0-9]+(-rc\.[0-9]+)?$ ]]; then
	echo "::error::Tag ${GITHUB_REF_NAME} is not a 0.12.x maintenance release"
	exit 1
	fi
	echo "tag=ghcr.io/scip-code/scip-java:${version}" >> "$GITHUB_OUTPUT"

	- uses: docker/setup-buildx-action@v4

	- name: Login to GitHub Container Registry
	uses: docker/login-action@v4
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	# linux/amd64 only, like the 0.12.3 image.
	- name: Build and push Docker image
	uses: docker/build-push-action@v7
	with:
	context: .
	push: true
	platforms: linux/amd64
	tags: ${{ steps.tag.outputs.tag }}
	labels: \|
	org.opencontainers.image.source=https://github.com/scip-code/scip-java
	org.opencontainers.image.revision=${{ github.sha }}