Bump coqprime from `d5935ca` to `6c225a2` #5296

	name: Test Generated Java

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

	jobs:
	test-java:

	runs-on: ubuntu-latest

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

	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: Set up JDK 1.8
	uses: actions/[email protected]
	with:
	java-version: 8
	distribution: 'zulu'
	- name: make only-test-java-files
	run: make only-test-java-files EXTERNAL_DEPENDENCIES=1
	- name: make documentation
	run: make only-javadoc EXTERNAL_DEPENDENCIES=1
	- uses: actions/upload-artifact@v4
	with:
	name: fiat-javadoc
	path: fiat-java/doc

Provide feedback