Bump etc/coq-scripts from `e4d9e81` to `4327aa1` #4274

	name: Test Generated Zig

	on:
	push:
	pull_request:
	merge_group:
	schedule:
	- cron: "0 0 1 * *"

	jobs:
	test-zig:
	runs-on: ubuntu-latest

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

	steps:
	- name: Install Zig
	uses: goto-bus-stop/setup-zig@v2
	with:
	version: 0.13.0
	- uses: actions/checkout@v4
	- name: Test Zig files
	run: (cd fiat-zig && zig build && zig build test)
	- name: Test Zig field inversion example
	run: (cp fiat-zig/src/p256_64.zig inversion/zig && cd inversion/zig && zig build test)

Provide feedback