Use `Constr.is_proj` for checking projections #495

	name: CI (Coq, docker, dev)

	on:
	push:
	pull_request:
	schedule:
	- cron: '0 0 1 * *'

	jobs:
	build-dev:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: all
	uses: coq-community/docker-coq-action@v1
	with:
	coq_version: dev
	ocaml_version: default
	custom_script: \|
	sudo chmod -R a=u .
	# Work around https://github.com/actions/checkout/issues/766
	git config --global --add safe.directory "*"
	echo '::group::install general dependencies'
	sudo apt-get update -y
	sudo apt-get install -y python python3
	eval $(opam env)
	echo '::endgroup::'
	echo '::remove-matcher owner=coq-problem-matcher::'
	etc/ci/github-actions-make.sh --warnings -j2 all
	etc/ci/github-actions-make.sh --warnings -j2 perf-Sanity

Provide feedback