add missing nounfold for Qeq_bool in Sample.v #93

	name: CI (Coq, Alpine)

	on:
	push:
	branches: [ master , alpine-testing ]
	pull_request:
	merge_group:
	workflow_dispatch:
	release:
	types: [published]
	schedule:
	- cron: '0 0 1 * *'

	jobs:
	build:

	strategy:
	fail-fast: false
	matrix:
	include:
	- alpine: 'edge'
	# - alpine: 'latest-stable'

	runs-on: ubuntu-latest
	name: alpine-${{ matrix.alpine }}

	concurrency:
	group: ${{ github.workflow }}-alpine-${{ matrix.alpine }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: host build params
	run: etc/ci/describe-system-config.sh
	- uses: jirutka/setup-alpine@v1
	with:
	branch: ${{ matrix.alpine }}
	extra-repositories: https://dl-cdn.alpinelinux.org/alpine/edge/testing
	packages: git make jq gcc musl-dev python3 ocaml ocaml-findlib ghc cabal coq ocaml-zarith bash
	- name: chroot build params
	shell: alpine.sh {0}
	run: etc/ci/describe-system-config.sh
	- name: make all
	shell: alpine.sh {0}
	run: etc/ci/github-actions-make.sh ALLOW_DIFF=1 -j2 all
	- name: make perf-Sanity
	shell: alpine.sh {0}
	run: etc/ci/github-actions-make.sh ALLOW_DIFF=1 -j2 perf-Sanity
	- name: display timing info
	run: cat time-of-build-pretty.log
	- name: display per-line timing info
	run: etc/ci/github-actions-display-per-line-timing.sh

	alpine-check-all:
	runs-on: ubuntu-latest
	needs: [build]
	if: always()
	steps:
	- run: echo 'build passed'
	if: ${{ needs.build.result == 'success' }}
	- run: echo 'build failed' && false
	if: ${{ needs.build.result != 'success' }}

Provide feedback