Linux

Updated runtime and logika. [distro] #2128

	name: Linux

	on:
	push:
	branches:
	- "**"
	tags:
	- "!**"

	jobs:

	ci:
	runs-on: ubuntu-latest
	steps:
	- name: Clean
	run: \|
	rm -fR "$GITHUB_WORKSPACE/Sireum"
	- name: Checkout
	uses: actions/checkout@v4
	with:
	path: Sireum
	submodules: recursive
	- name: Cache Java
	id: cache-java
	uses: actions/cache@v4
	with:
	path: Sireum/bin/linux/java
	key: ${{ runner.os }}-${{ hashFiles('Sireum/versions.properties') }}-java
	- name: Cache Scala
	id: cache-scala
	uses: actions/cache@v4
	with:
	path: Sireum/bin/scala
	key: ${{ runner.os }}-${{ hashFiles('Sireum/versions.properties') }}-scala
	- name: Cache Coursier
	id: cache-coursier
	uses: actions/cache@v4
	with:
	path: Sireum/cache/coursier
	key: ${{ runner.os }}-${{ hashFiles('Sireum/versions.properties') }}-coursier
	- name: Cache OSATE
	id: cache-osate
	uses: actions/cache@v4
	with:
	path: Sireum/bin/linux/osate
	key: ${{ runner.os }}-${{ hashFiles('Sireum/hamr/codegen/jvm/src/main/resources/phantom_versions.properties') }}-osate
	- name: Test
	run: \|
	export COURSIER_CACHE=$GITHUB_WORKSPACE/Sireum/cache/coursier
	cd $GITHUB_WORKSPACE/Sireum
	.ci/build.sh && .ci/build.sh test-verify
	- name: Cache Graal
	id: cache-graal
	uses: actions/cache@v4
	with:
	path: Sireum/bin/linux/graal
	key: ${{ runner.os }}-${{ hashFiles('Sireum/bin/install/graal.cmd') }}-graal
	- name: Test Native
	run: \|
	export MUSL_HOME="$GITHUB_WORKSPACE/musl-toolchain"
	export PATH="$MUSL_HOME/bin:$PATH"
	export COURSIER_CACHE=$GITHUB_WORKSPACE/Sireum/cache/coursier
	cd $GITHUB_WORKSPACE/Sireum
	.ci/linux-native.sh
	rm bin/linux/sireum

Provide feedback