build(deps): bump github/codeql-action from 3.25.3 to 3.25.7 in /.github/workflows #1306

	name: Test-Suite

	on:
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]

	permissions: # added using https://github.com/step-security/secure-workflows
	contents: read
	pull-requests: write

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

	steps:
	- name: Harden Runner
	uses: step-security/harden-runner@63c24ba6bd7ba022e95695ff85de572c04a18142 # v2.7.0
	with:
	egress-policy: audit
	- name: Checkout repository
	uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4.1.4
	- name: Set up JDK 17
	uses: actions/setup-java@99b8673ff64fbf99d8d325f52d9a5bdedb8483e9 # v4.2.1
	with:
	java-version: '17'
	distribution: 'temurin'
	cache: maven
	- name: Build with Maven
	run: mvn -B package -Pcoverage --file pom.xml
	- name: Generate JaCoCo badge
	id: jacoco
	uses: cicirello/jacoco-badge-generator@f33476a5a3fd5a4f77cb5eef2ebe728c1dd5b921 # v2.11.0
	with:
	badges-directory: badges
	generate-summary: true
	generate-coverage-endpoint: true
	- name: Log coverage percentages to workflow output
	run: \|
	echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
	- name: Upload JaCoCo coverage report as a workflow artifact
	uses: actions/upload-artifact@65462800fd760344b1a7b4382951275a0abb4808 # v4.3.3
	with:
	name: jacoco-report
	path: target/site/jacoco/
	- name: Upload coverage reports to Codecov
	uses: codecov/codecov-action@125fc84a9a348dbcf27191600683ec096ec9021c # v4.4.1
	with:
	token: ${{ secrets.CODECOV_TOKEN }}
	files: target/site/jacoco/jacoco.xml

Provide feedback