Repository navigation

Skip files the Kotlin analysis cannot handle, and always exit #332

	name: CI
	on:
	push:
	branches:
	- main
	pull_request:
	jobs:
	format:
	runs-on: ubuntu-latest
	name: Formatting
	steps:
	- uses: actions/checkout@v7

	- uses: actions/setup-java@v5
	with:
	distribution: temurin
	java-version: 17

	- uses: gradle/actions/setup-gradle@v4
	with:
	gradle-version: 9.4.1

	- run: gradle spotlessCheck --no-daemon

	kotlin_indexer:
	runs-on: ubuntu-latest
	name: scip-kotlin-analysis
	steps:
	- uses: actions/checkout@v7

	- uses: actions/setup-java@v5
	with:
	distribution: temurin
	java-version: 17

	- uses: gradle/actions/setup-gradle@v4
	with:
	gradle-version: 9.4.1

	- name: scip-kotlin-analysis tests
	run: gradle :scip-kotlin-analysis:test --no-daemon

	docker_test:
	runs-on: ubuntu-latest
	name: Docker CLI tests
	steps:
	- uses: actions/checkout@v7

	- name: Build Dockerised CLI
	run: docker build -t ghcr.io/scip-code/scip-java:latest .

	- name: Test repos
	shell: bash
	run: \|
	set -eu
	check_repo() {
	REPO=$1
	mkdir -p ".repos/$REPO"
	git clone "https://github.com/$REPO.git" ".repos/$REPO" && cd ".repos/$REPO" && git submodule update --init

	docker run -v "$PWD/.repos/$REPO:/sources" -w /sources ghcr.io/scip-code/scip-java:latest scip-java index
	file ".repos/$REPO/index.scip" \|\| (echo "$REPO SCIP index doesn't exist!"; exit 1)
	}

	sudo apt install parallel
	export -f check_repo

	parallel -j4 check_repo ::: circe/circe indeedeng/iwf-java-sdk