fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags #186

	# This workflow is managed by gh actions-lock.
	# SPDX-License-Identifier: MPL-2.0
	# This workflow is managed by gh actions-lock.
	# This workflow is managed by gh actions-lock.
	name: ClusterFuzzLite PR fuzzing
	on:
	pull_request:
	branches: [main]

	permissions: read-all

	jobs:
	PR:
	runs-on: ubuntu-latest
	timeout-minutes: 15
	strategy:
	fail-fast: false
	matrix:
	sanitizer: [address]
	steps:
	- name: Checkout
	uses: actions/checkout@v7.0.1

	- name: Build Fuzzers (${{ matrix.sanitizer }})
	id: build
	uses: google/clusterfuzzlite/actions/build_fuzzers@v1
	with:
	language: rust
	sanitizer: ${{ matrix.sanitizer }}

	- name: Run Fuzzers (${{ matrix.sanitizer }})
	id: run
	uses: google/clusterfuzzlite/actions/run_fuzzers@v1
	with:
	github-token: ${{ secrets.GITHUB_TOKEN }}
	fuzz-seconds: 300
	mode: code-change
	sanitizer: ${{ matrix.sanitizer }}

Navigation Menu