Skip to content

Comments

Require GAP 4.11#49

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

Require GAP 4.11#49
james-d-mitchell merged 1 commit intogap-packages:masterfrom
wilfwilson:require-4.11

Conversation

@wilfwilson
Copy link
Member

@wilfwilson wilfwilson commented Sep 1, 2025

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
Copy link

codecov bot commented Sep 1, 2025

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
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