Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add missing Python version in tox environment name #739

Merged
merged 3 commits into from
Jan 20, 2025

Conversation

enzbang
Copy link
Member

@enzbang enzbang commented Jan 20, 2025

for it/e3-core#34

@enzbang enzbang force-pushed the mr/ramonat/fix-github-ci branch from ca29966 to 154d929 Compare January 20, 2025 10:19
@enzbang enzbang force-pushed the mr/ramonat/fix-github-ci branch from 154d929 to 6d0f1cc Compare January 20, 2025 10:23
We keep only svn to avoid breaking existing workflows but
this is no longer in active use.
No need for extra testing on Windows, the tests with Python < 3.12
are not supporting COVERAGE_CORE=sysmon and are failing.
@enzbang enzbang force-pushed the mr/ramonat/fix-github-ci branch from 84fa09b to 768c46c Compare January 20, 2025 10:47
@adacore-bot adacore-bot merged commit 8a9dc52 into AdaCore:master Jan 20, 2025
7 of 8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants