Repository navigation

fix: update veristore submodule with mutex fix #4

	name: C++ CI

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

	env:
	FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: true

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: Install dependencies
	run: sudo apt-get update && sudo apt-get install -y cmake build-essential nlohmann-json3-dev
	- name: Configure
	run: cmake -S . -B build
	- name: Build
	run: cmake --build build