Use Isabelle2024 container for CI #21

	name: Viper Roots CI

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]
	workflow_dispatch:

	jobs:
	build:
	strategy:
	matrix:
	os: [ubuntu-latest]
	fail-fast: false
	runs-on: ${{ matrix.os }}
	container:
	image: makarius/isabelle:Isabelle2024
	options: --user root # since container defines a separate user
	steps:
	- name: Isabelle version
	run: /home/isabelle/Isabelle/bin/isabelle version

	# install Git since required by checkout action with submodule option and
	# container does not contain Git
	- name: Git version
	run: \|
	apt-get update
	apt-get install -y git
	git version

	- uses: actions/checkout@v4
	with:
	submodules: 'true'

	- name: Setup Isabelle sessions
	run: \|
	isabelle components -u foundational-boogie/BoogieLang
	isabelle components -u vipersemcommon
	isabelle components -u viper-total-heaps
	isabelle components -u vipersemabstract
	isabelle components -u viper-abstract-refines-total
	isabelle components -u simple-frontend

	- name: Check whether Isabelle theories go through successfully
	# viper-total-heaps/paper-results has viper-total-heaps as a parent session
	run: \|
	isabelle build -j4 -D viper-total-heaps/paper-results
	isabelle build -j4 -D vipersemabstract
	isabelle build -j4 -D viper-abstract-refines-total
	isabelle build -j4 -D simple-frontend
	isabelle build -j4 -D main-results

Provide feedback