fill in `valuation_comap` #381

	on:
	pull_request:

	# Cancel previous runs if a new commit is pushed to the same PR or branch
	concurrency:
	group: ${{ github.ref }} # Group runs by the ref (branch or PR)
	cancel-in-progress: true # Cancel any ongoing runs in the same group

	jobs:
	build_project:
	runs-on: ubuntu-latest
	name: Build project
	steps:
	- name: Checkout project
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Install elan
	run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y --default-toolchain leanprover/lean4:4.0.0

	- name: Get cache
	run: ~/.elan/bin/lake exe cache get

	- name: Build project
	run: ~/.elan/bin/lake build FLT

Provide feedback