mirror of
https://github.com/AdaCore/e3-aws.git
synced 2026-02-12 13:02:04 -08:00
Coverage is not working with Python3.11 since the COVERAGE_CORE setting was added by !31. Disable coverage run for Python3.11 as we only need coverage to run for one Python version, preferably the latest. Closes #3