[CN-Test-Gen] Sized generators #1606

	name: CI

	on:
	pull_request:
	push:
	branches:
	- master
	- cheri-tests

	env:
	CERBERUS_IMAGE_ID: ghcr.io/rems-project/cerberus/cn:release

	# cancel in-progress job when a new push is performed
	concurrency:
	group: ci-${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	build:
	strategy:
	matrix:
	# version: [4.12.0, 4.14.1]
	version: [4.14.1]


	runs-on: ubuntu-22.04

	steps:
	- uses: actions/checkout@v3

	- name: System dependencies (ubuntu)
	run: \|
	sudo apt install build-essential libgmp-dev z3 opam cmake

	- name: Restore cached opam
	id: cache-opam-restore
	uses: actions/cache/restore@v4
	with:
	path: ~/.opam
	key: ${{ matrix.version }}

	- name: Setup opam
	if: steps.cache-opam-restore.outputs.cache-hit != 'true'
	run: \|
	opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
	opam install --deps-only --yes ./cerberus-lib.opam

	- name: Save cached opam
	if: steps.cache-opam-restore.outputs.cache-hit != 'true'
	id: cache-opam-save
	uses: actions/cache/save@v4
	with:
	path: ~/.opam
	key: ${{ steps.cache-opam-restore.outputs.cache-primary-key }}

	- name: Install Cerberus
	run: \|
	opam switch ${{ matrix.version }}
	eval $(opam env --switch=${{ matrix.version }})
	opam pin --yes --no-action add cerberus-lib .
	opam pin --yes --no-action add cerberus .
	opam install --yes cerberus

	- name: Run Cerberus CI tests
	run: \|
	opam switch ${{ matrix.version }}
	eval $(opam env --switch=${{ matrix.version }})
	cd tests; USE_OPAM='' ./run-ci.sh

Provide feedback