Skip to content

Require GAP >= 4.12#106

Merged
sunnyquiver merged 1 commit intomasterfrom
mh/CI-Last
Oct 17, 2025
Merged

Require GAP >= 4.12#106
sunnyquiver merged 1 commit intomasterfrom
mh/CI-Last

Conversation

@fingolfin
Copy link
Member

... as this package now uses Last() which was introduced then.

... as this package now uses Last() which was introduced then.
@codecov
Copy link

codecov bot commented Oct 17, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 59.70%. Comparing base (1b98b9c) to head (cc5625d).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master     #106   +/-   ##
=======================================
  Coverage   59.70%   59.70%           
=======================================
  Files          78       78           
  Lines       23901    23901           
=======================================
  Hits        14271    14271           
  Misses       9630     9630           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@fingolfin fingolfin requested a review from sunnyquiver October 17, 2025 08:03
@sunnyquiver sunnyquiver merged commit 6e4040b into master Oct 17, 2025
8 checks passed
@sunnyquiver sunnyquiver deleted the mh/CI-Last branch October 17, 2025 08:37
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