Skip to content

Require GAP 4.11 - #49

Merged
james-d-mitchell merged 1 commit into
gap-packages:masterfrom
wilfwilson:require-4.11
Sep 4, 2025
Merged

james-d-mitchell merged 1 commit into
gap-packages:masterfrom
wilfwilson:require-4.11

Conversation

@wilfwilson

@wilfwilson wilfwilson commented Sep 1, 2025 •

Copy link
Copy Markdown
Member

Since the CI tests against GAP stable-4.10 are failing (I think it's related to the CI cloning the orb package, which itself requires GAP 4.12). And anyway, stable-4.11 is itself pretty old now, so it seems fair enough.

@codecov

codecov Bot commented Sep 1, 2025 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 62.09%. Comparing base (a0258d6) to head (0e7435f).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #49   +/-   ##
=======================================
  Coverage   62.09%   62.09%           
=======================================
  Files           3        3           
  Lines         153      153           
=======================================
  Hits           95       95           
  Misses         58       58           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@james-d-mitchell

Copy link
Copy Markdown
Contributor

Thanks @wilfwilson looks good to me!

@james-d-mitchell
james-d-mitchell merged commit f444841 into gap-packages:master Sep 4, 2025
16 checks passed
@wilfwilson
wilfwilson deleted the require-4.11 branch September 4, 2025 16:30
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