Risan
I added a very small PR to help with the hidden "io.h" problem (because I did not see anyone working on it, but please feel free to reject my PR...
To ensure that the information won't be lost, this also depends on #6010.
Thank you for the approval! I have manually checked `make libgap` and `make` in Linux, both still work. Is there anything else that I need to check?
Thank you all for the comments. I will be happy to make some improvements to unblock the native Windows build. For this PR, I can do the renaming, and I...
Thank you everyone for the comments. @fingolfin I updated my changes with my interpretation of your proposal. Could you check if my understanding is correct? The way I tested it...
Ah, okay, the failure is due to io package build failure. And it can be fixed by changing the use of #include "profile.h" in io package. I will make that...
To accomodate this, I created two PRs on two packages: https://github.com/gap-packages/datastructures/pull/156 https://github.com/gap-packages/io/pull/128
Ah, sorry, I accidentally triggered a CI run from a sync. I will try to fix the failures, except the "CI / testbuildsys; testmockpkg testinstall - NO_COVERAGE = 1 ..."...
@fingolfin I think I have fixed all the CI problems (except the infrastructure failure one). As for HPC, I added all `src` instead of just `src/extra` in `SYSINFO_CPPFLAGS`. Without that...
Sorry, I resolved them on my local branch and was preparing to push, but I found some errors. I will push first before replying to/resolving your comments next time to...