Skip to content

checking GAP version number#52

Merged
cdwensley merged 4 commits into
masterfrom
version
Oct 4, 2022
Merged

checking GAP version number#52
cdwensley merged 4 commits into
masterfrom
version

Conversation

@cdwensley
Copy link
Copy Markdown
Collaborator

The recently added Download function is expected to move to the main GAP library once it has been used by other packages and any problems ironed out. This PR prevents the Download function being read/used once GAP version 4.13.0 is released, on the assumption that the transfer has been made by then.

@codecov
Copy link
Copy Markdown

codecov Bot commented Sep 26, 2022

Codecov Report

Merging #52 (56725c9) into master (c4dbd18) will decrease coverage by 0.65%.
The diff coverage is 25.00%.

@@            Coverage Diff             @@
##           master      #52      +/-   ##
==========================================
- Coverage   76.60%   75.94%   -0.66%     
==========================================
  Files          27       25       -2     
  Lines        1650     1501     -149     
==========================================
- Hits         1264     1140     -124     
+ Misses        386      361      -25     
Impacted Files Coverage Δ
lib/groups.gi 42.99% <25.00%> (ø)
lib/download.gi
lib/download.gd

@cdwensley
Copy link
Copy Markdown
Collaborator Author

@ChrisJefferson - is this what you had in mind?

@cdwensley
Copy link
Copy Markdown
Collaborator Author

Using the variable v caused gapdev/tst/teststandard/varnames.tst to fail

@cdwensley
Copy link
Copy Markdown
Collaborator Author

Unfortunately two separate changes made in the one commit.

@cdwensley cdwensley closed this Oct 4, 2022
@cdwensley cdwensley reopened this Oct 4, 2022
@cdwensley cdwensley merged commit a16070e into master Oct 4, 2022
@cdwensley cdwensley deleted the version branch October 4, 2022 15:28
@cdwensley
Copy link
Copy Markdown
Collaborator Author

This is the PR where the `NC versions of PreImages... functions were added.

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.

1 participant