with fix #1848

	name: Code coverage check

	on:
	push:


	env:
	BUILDER_VERSION: v0.9.72
	BUILDER_SOURCE: releases
	BUILDER_HOST: https://d19elf31gohf1l.cloudfront.net
	PACKAGE_NAME: aws-c-s3
	RUN: ${{ github.run_id }}-${{ github.run_number }}
	CRT_CI_ROLE: ${{ secrets.CRT_CI_ROLE_ARN }}
	AWS_DEFAULT_REGION: us-east-1

	permissions:
	id-token: write # This is required for requesting the JWT

	jobs:
	codecov-linux:
	runs-on: ubuntu-24.04
	steps:
	- uses: aws-actions/configure-aws-credentials@v4
	with:
	role-to-assume: ${{ env.CRT_CI_ROLE }}
	aws-region: ${{ env.AWS_DEFAULT_REGION }}
	- name: Checkout Sources
	uses: actions/checkout@v4
	- name: Build ${{ env.PACKAGE_NAME }} + consumers
	run: \|
	python3 -c "from urllib.request import urlretrieve; urlretrieve('${{ env.BUILDER_HOST }}/${{ env.BUILDER_SOURCE }}/${{ env.BUILDER_VERSION }}/builder.pyz?run=${{ env.RUN }}', 'builder')"
	chmod a+x builder
	./builder build -p ${{ env.PACKAGE_NAME }} --compiler=gcc-9 --cmake-extra=-DASSERT_LOCK_HELD=ON --coverage --coverage-exclude=source/s3_copy_object.c

Provide feedback